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