4 Commits

Author	SHA1	Message	Date
Laurent Rineau	367314623d	Add a script to detect wrong permissions, and fix permissions ... The script uses zsh, and lists regular files that have the 'executable' permission. At the same time, I fix the permissions of several files.	2014-02-06 18:49:09 +01:00
Laurent Rineau	8a65c3b9c6	Fix a warning about an unused parameter	2013-12-10 18:46:28 +01:00
Andreas Fabri	4de4805e46	Fix a memory leak in BigFloat::exp2	2013-11-19 18:02:32 +01:00
Eric Berberich	679e15c749	core is shipped with CGAL (and fix packagename to reflect libraryname)	2012-08-03 17:30:42 +00:00