Merge branch 'veyret' into devel
tree857f9456b8302218a47a028f6ae466ffe3f1d061
-rwxr-xr-x 1521 make-ebib-release.sh
drwxr-xr-x - manual
drwxr-xr-x - release-files
drwxr-xr-x - src
drwxr-xr-x - webpage