Merge commit 'c2037f0c9a3a35b9db9c404f6b5f94ec8b690a53'

This commit is contained in:
Bjørn Erik Pedersen
2019-03-26 18:41:36 +01:00
45 changed files with 2943 additions and 142 deletions

View File

@@ -1,6 +1,2 @@
# Params for production
# This is turned off in development as it is relatively slow.
# This is needed to get accurate lastMod and Git commit info
# on the docs pages.
enableGitInfo = true