Merge commit '978856e2ad12d2bcaf37bb9e31f806b30a4c42f4'

This commit is contained in:
Bjørn Erik Pedersen
2018-12-26 10:27:54 +01:00
18 changed files with 432 additions and 15 deletions

View File

@@ -0,0 +1,6 @@
# 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