| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CheckDir.hs | 7597 | logplain |
| -rw-r--r-- | CheckMap.hs | 4578 | logplain |
| -rw-r--r-- | LintWriter.hs | 3398 | logplain |
| -rw-r--r-- | Paths.hs | 2083 | logplain |
| -rw-r--r-- | Properties.hs | 10064 | logplain |
| -rw-r--r-- | Tiled2.hs | 14437 | logplain |
| -rw-r--r-- | Types.hs | 3618 | logplain |
| -rw-r--r-- | Util.hs | 1786 | logplain |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |