Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 140 | logplain |
-rw-r--r-- | .gitmodules | 62 | logplain |
-rw-r--r-- | INSTALL | 17752 | logplain |
-rw-r--r-- | INSTALL-DEV | 6495 | logplain |
-rw-r--r-- | LICENSE | 1067 | logplain |
-rw-r--r-- | NEWS | 2925 | logplain |
-rw-r--r-- | README | 816 | logplain |
-rw-r--r-- | README-GIT | 206 | logplain |
d--------- | build | 159 | logplain |
-rw-r--r-- | buildfile | 307 | logplain |
d--------- | clean | 284 | logplain |
d--------- | doc | 789 | logplain |
d--------- | etc | 160 | logplain |
d--------- | libbrep | 976 | logplain |
d--------- | load | 237 | logplain |
-rw-r--r-- | manifest | 1049 | logplain |
d--------- | migrate | 153 | logplain |
d--------- | mod | 1855 | logplain |
-rw-r--r-- | repositories.manifest | 667 | logplain |
d--------- | tests | 99 | logplain |
d--------- | web | 415 | logplain |
d--------- | www | 1016 | logplain |