6 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
Laurent Rineau	33a662f57e	bug fix: fix a typo in CORE/Timer.h ... Detected by a warning -Wheader-guard of clang	2013-10-24 15:53:33 +02:00
Philipp Möller	8b15717ee4	Use the correct type when iterating std::strings	2012-11-14 10:25:10 +01:00
Eric Berberich	679e15c749	core is shipped with CGAL (and fix packagename to reflect libraryname)	2012-08-03 17:30:42 +00:00