| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CheckDir.hs | 7597 | logplain |
| -rw-r--r-- | CheckMap.hs | 5416 | logplain |
| -rw-r--r-- | LintWriter.hs | 4125 | logplain |
| -rw-r--r-- | Paths.hs | 2083 | logplain |
| -rw-r--r-- | Properties.hs | 10084 | logplain |
| -rw-r--r-- | Tiled2.hs | 16092 | logplain |
| -rw-r--r-- | Types.hs | 3945 | logplain |
| -rw-r--r-- | Util.hs | 1786 | logplain |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |