dropdown menues fixed
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
tests fixed
added node modules semver, numeral, moment, marked
resized page margins
tools dropdown fixed
fixed ctrl-z
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
tests fixed
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
Merge branch 'devel' of github.com:triAGENS/ArangoDB into sharding
added rethrow