Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 72 | logplain |
-rw-r--r-- | AUTHORS | 56 | logplain |
-rw-r--r-- | CHANGES.md | 3984 | logplain |
-rw-r--r-- | LICENSE | 26530 | logplain |
-rw-r--r-- | Makefile.preprocess | 2259 | logplain |
-rw-r--r-- | README.md | 833 | logplain |
d--------- | debian | 430 | logplain |
d--------- | doc | 684 | logplain |
-rw-r--r-- | dune | 78 | logplain |
-rw-r--r-- | dune-project | 150 | logplain |
d--------- | runtime | 114 | logplain |
d--------- | src | 475 | logplain |
d--------- | test | 3339 | logplain |
-rw-r--r-- | visitors.opam | 755 | logplain |