aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitattributes613logplain
-rw-r--r--.gitignore179logplain
-rw-r--r--.gitmodules62logplain
-rw-r--r--AUTHORS364logplain
-rw-r--r--CONTRIBUTING.md901logplain
-rw-r--r--INSTALL19484logplain
-rw-r--r--INSTALL-CI-DEV4683logplain
-rw-r--r--INSTALL-DEV6957logplain
-rw-r--r--INSTALL-PROXY5403logplain
-rw-r--r--LEGAL295logplain
-rw-r--r--LICENSE1115logplain
-rw-r--r--NEWS5858logplain
-rw-r--r--README816logplain
-rw-r--r--README-GIT206logplain
d---------brep72logplain
d---------build159logplain
-rw-r--r--buildfile319logplain
d---------clean149logplain
d---------doc789logplain
d---------etc240logplain
d---------libbrep976logplain
d---------load237logplain
-rw-r--r--manifest1834logplain
d---------migrate153logplain
d---------mod2655logplain
d---------monitor191logplain
-rw-r--r--repositories.manifest881logplain
d---------tests194logplain
d---------web65logplain
d---------www1283logplain