log

age author description
Fri, 24 Mar 2017 20:15:07 +0100 domruf jenkinsfile: delete all old files in the workspace
Wed, 15 Mar 2017 12:36:43 +0100 domruf jenkinsfile: catch the correct exception if jenkins plugin is not available
Thu, 23 Mar 2017 22:20:35 +0100 domruf jenkinsfile: create venv in special folder instead of jenkins workspace
Thu, 23 Mar 2017 22:08:56 +0100 domruf jenkinsfile: remove unnecessary lines
Thu, 23 Mar 2017 19:04:21 +0100 domruf tests: use the DB set in TEST_DB for git hooks
Sun, 26 Mar 2017 15:27:16 +0200 domruf tests: don't compare MTIME header of gzip file
Fri, 10 Feb 2017 23:02:57 +0100 Søren Løvborg compare: refactor drop-down UI code