Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 4734 | logplain |
-rw-r--r-- | base | 32830 | logplain |
-rw-r--r-- | de | 34598 | logplain |
-rw-r--r-- | level5 | 7233 | logplain |
d--------- | rules | 32 | logplain |
-rw-r--r-- | shift | 1067 | logplain |
d--------- | symbols | 131 | logplain |
d--------- | types | 34 | logplain |