Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
testing collections and models finished, coverage = 100%
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
Bug Fix: Line Editing for Linux
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
fixed jslint
fixed issues in arango-dfdb
bug fix: segmentation default
fixed failing test
optimisation of output was commented out, it did not work fine
added --force option, allow using incompatible server version
emit server version
WARNING LNK4099 is ignored
Non used variables were commented out (Compiler warning C4101)
Graph tests work again.
Merge branch 'devel' into associative_tests
Fix after merge from devel.
Bug fix in setCursorPos
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
moved edit userProfile to user management