2017-06-16 15:38:10 +02:00
..
clear-sessions Improved background jobs 2017-06-13 14:47:17 +02:00
user-references Added frontpage and Google login 2017-06-15 23:03:55 +02:00
.gitignore Improved makefile 2017-06-16 15:38:10 +02:00
build.sh Improved makefile 2017-06-16 15:38:10 +02:00
README.md Added new README files 2017-06-13 18:38:31 +02:00

Patches

This directory contains database patches that are only meant to be run under certain conditions to fix bugs.