Fixed error when revision graph already exists but is empty and r43ples
is restarted
renamed the corresponding method
put TODOs to GitHub issues
added SILENT option to DROP Graph queries
Merge branch 'master' of https://github.com/plt-tud/r43ples.git
Merge remote-tracking branch 'origin/conflict_management'