| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CheckDir.hs | 7597 | logplain |
| -rw-r--r-- | CheckMap.hs | 3972 | logplain |
| -rw-r--r-- | LintWriter.hs | 3398 | logplain |
| -rw-r--r-- | Paths.hs | 2083 | logplain |
| -rw-r--r-- | Properties.hs | 9153 | logplain |
| -rw-r--r-- | Tiled2.hs | 21238 | logplain |
| -rw-r--r-- | Types.hs | 3618 | logplain |
| -rw-r--r-- | Util.hs | 1681 | logplain |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |