Age | Commit message (Expand) | Author |
---|---|---|
2015-08-02 | Reorganization of server options. | Ulrich Germann |
2015-08-01 | Reorganization of server options. Added options for sesssion cache. | Ulrich Germann |
2015-07-02 | Removal of 'using namespace ...' from several header files. | Ulrich Germann |
2015-06-02 | Lint-fixing binge. | Jeroen Vermeulen |
2015-05-17 | Also support checking for lint. | Jeroen Vermeulen |
2015-05-15 | Move ignored path prefixes into config file. | Jeroen Vermeulen |