triAGENS/ArangoDB — pull request #102 by jsteemann (2012-06-05 13:08:33+00:00)
Title: potential solution for issue #95 (execute jslint)

for some reason, github did not pick up the devel branch setting for the 2nd pull request.
Hopefully it works now.