| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LintWriter.hs | 1817 | logplain |
| -rw-r--r-- | Properties.hs | 4439 | logplain |
| -rw-r--r-- | Tiled2.hs | 19324 | logplain |
| -rw-r--r-- | Types.hs | 60 | logplain |
| -rw-r--r-- | Util.hs | 634 | logplain |
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |