https://github.com/CGAL/cgal
Revision 40230d0e3d3a8a158fa6a7f86da1e82ee44a7c7d authored by Radu Ursu on 07 May 2002, 13:55:24 UTC, committed by Radu Ursu on 07 May 2002, 13:55:24 UTC
1 parent c416c30
History
Tip revision: 40230d0e3d3a8a158fa6a7f86da1e82ee44a7c7d authored by Radu Ursu on 07 May 2002, 13:55:24 UTC
replaced no_tool by notool
Tip revision: 40230d0
File Mode Size
Extension_Packages
Old_Packages
Packages
.gitattributes -rw-r--r-- 163.7 KB
.gitignore -rw-r--r-- 4.4 KB

back to top