Simon 568a09f177 Disable JS on DBServer, fix race in UserManager (#6244)		2018-08-24 22:20:49 +02:00
..
actions	Feature/schmutz plus plus (#5972)	2018-08-24 12:15:35 +02:00
apps/system	nightly frontend build	2018-08-23 23:58:19 +00:00
client	issue 459.2: ensure view retrieval is denied of detailed definition is denied (#6237)	2018-08-24 14:37:35 +03:00
common	Bug fix/aql optimizer improvements 2308 (#6241)	2018-08-24 13:42:22 +02:00
node	Doc - New section for query profiler + fresh examples (#6070)	2018-08-08 10:51:09 +02:00
server	Disable JS on DBServer, fix race in UserManager (#6244)	2018-08-24 22:20:49 +02:00
.eslintrc	…
.jshintrc	…
GUIDELINES.md	…
minify-node-modules.ps1	Merge with latest changes in improve-jenkins	2017-08-31 17:53:48 +02:00