Skip to content

Commit 428c2f7

Browse files
committed
minor
1 parent 444985c commit 428c2f7

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

.cproject

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -436,10 +436,8 @@
436436
<option id="gnu.cpp.link.option.libs.1704386676" name="Libraries (-l)" superClass="gnu.cpp.link.option.libs" valueType="libs">
437437
<listOptionValue builtIn="false" value="z"/>
438438
<listOptionValue builtIn="false" value="m"/>
439-
<listOptionValue builtIn="false" srcPrefixMapping="" srcRootPath="" value="gmp"/>
440-
<listOptionValue builtIn="false" srcPrefixMapping="" srcRootPath="" value="gmpxx"/>
441-
<listOptionValue builtIn="false" srcPrefixMapping="" srcRootPath="" value="CGAL"/>
442-
<listOptionValue builtIn="false" srcPrefixMapping="" srcRootPath="" value="CGAL_Core"/>
439+
<listOptionValue builtIn="false" value="gmp"/>
440+
<listOptionValue builtIn="false" value="gmpxx"/>
443441
</option>
444442
<option id="gnu.cpp.link.option.flags.396033601" name="Linker flags" superClass="gnu.cpp.link.option.flags" value="-static -static-libstdc++" valueType="string"/>
445443
<option id="gnu.cpp.link.option.paths.1800242183" name="Library search path (-L)" superClass="gnu.cpp.link.option.paths" valueType="libPaths">

0 commit comments

Comments
 (0)