cgal/Developers_manual
Philipp Möller e65a8028ea Replace tex-style quotes with quotes that you would expect, as there
is no way to handle them in the converter.

Needs to be revert before this is being merged into next.
2012-08-02 12:55:15 +00:00
..
doc_tex Replace tex-style quotes with quotes that you would expect, as there 2012-08-02 12:55:15 +00:00
examples/Developers_manual Fix dev manual after the change from \ccIncludeVerbatim to 2010-01-13 16:10:02 +00:00
package_info/Developers_manual remove executable property from copyright files 2011-10-03 08:18:16 +00:00