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
include/CGAL	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
noweb	remove package namespace macro	2010-06-09 08:45:58 +00:00
package_info/Kernel_d	Add license files, per package	2012-01-16 15:54:22 +00:00
test/Kernel_d	cleanup extra ';'	2010-04-26 12:46:09 +00:00
dont_submit	…