mirror of https://github.com/CGAL/cgal
remove an old unused file, which was dont_submitted
This commit is contained in:
parent
31d8782842
commit
ad29c3378a
|
|
@ -1,10 +0,0 @@
|
|||
normal darkblue ;
|
||||
keyword blue b ;
|
||||
type darkgreen ;
|
||||
string red ;
|
||||
comment brown i ;
|
||||
number purple ;
|
||||
preproc teal b ;
|
||||
symbol darkred ;
|
||||
function black u, b;
|
||||
cbracket red;
|
||||
Loading…
Reference in New Issue