mirror of https://github.com/CGAL/cgal
The whole Manual_tools package must be in dont_submit.
This commit is contained in:
parent
0cdd43381a
commit
f29f6b4f3d
|
|
@ -0,0 +1 @@
|
|||
*
|
||||
Loading…
Reference in New Issue