Merge branch 'devel' of git://repo.or.cz/ebib into devel
tree66dac7f858088206b5102a8b19add8afdd9ce154
-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