Merge branch 'devel'
treed3a339cbdebe060cccfbe77d8e8e8f16baee8892
-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