Reset document.documentElement.scrollTop. close #190.
return 404 when assurance case is not found. ref #200
alert 404 error in API 'download'. ref #200
Merge branch 'master' into collaboration
Hide "command list" menu item. close #201
Use PointerEvents instead of deprecated pointer.js. close #202
change the order of included js files in index.jade closed #199
add developper to 'about' menu
fix conflict
add contributor. close #203
Merge branch 'master' into collaboration
solve deadlock which occured when other clients close browser window while editing