Marijn Jansen 683fec805c Merge branch 'marijn-settings' into 'master'
Settings work with sql, session is hardcoded to 2 glob db

See merge request !53
2017-01-17 16:50:19 +01:00
2017-01-17 16:48:57 +01:00
2017-01-11 15:26:01 +01:00
Description
Languages
PHP 86.7%
JavaScript 6%
CSS 3.7%
TeX 2.9%
Hack 0.7%