Merge branch 'devel'
tree1b7b2aea0d3df9ad3a295a147edd27449a9b5a40
-rwxr-xr-x 1551 make-ebib-release.sh
drwxr-xr-x - manual
drwxr-xr-x - release-files
drwxr-xr-x - src
drwxr-xr-x - webpage