Sébastien Loriot d282ade623 use \cgalCite instead of \cite ...

using perl -i -pe 's/\\cite\s*{?([a-zA-Z0-9:-]+)}?/\\cgalCite{$1}/g'

2013-08-05 18:25:26 +02:00

..

CGAL

use \cgalCite instead of \cite

2013-08-05 18:25:26 +02:00