triAGENS/ArangoDB — pull request #539 by guidoreina (2013-05-18 17:45:06+00:00)
Title: Small improvements.

I have done some small improvements (too many files but very small changes :-) ).