source:
trunk
@
816
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| debian | 523 | 10 years | david | - Add ZOO services, update for debian 7 | |
| docs | 809 | 8 years | djay | Add the java-rpath to the configure options. | |
| testing | 543 | 10 years | djay | Small fixes in cgal Makefile, update testing script, update HISTORY.txt | |
| thirds | 783 | 8 years | djay | fix issue #141. | |
| workshop | 799 | 8 years | djay | Add the php7 support in the HISTORY.txt file | |
| zoo-project | 815 | 8 years | djay | Fixing issue #145 | |
Note: See TracBrowser
for help on using the repository browser.
