Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ChangeLog | 38087 | logplain |
-rw-r--r-- | INSTALL | 7819 | logplain |
-rw-r--r-- | LICENSE | 1450 | logplain |
-rw-r--r-- | LICENSE.GPL | 18229 | logplain |
-rw-r--r-- | LICENSE.LGPL | 80 | logplain |
-rw-r--r-- | Makefile | 2812 | logplain |
-rw-r--r-- | Makefile.rules | 7093 | logplain |
-rw-r--r-- | Makefile.xrules | 420 | logplain |
-rw-r--r-- | RELNOTES | 1939 | logplain |
-rw-r--r-- | _oasis | 3014 | logplain |
-rwxr-xr-x | configure | 34812 | logplain |
d--------- | debian | 1565 | logplain |
d--------- | doc / html-main | 36 | logplain |
d--------- | examples | 331 | logplain |
-rw-r--r-- | setup.ml | 358110 | logplain |
d--------- | src | 911 | logplain |
d--------- | tools | 382 | logplain |