docs: Replace /docs

This commit is contained in:
Bjørn Erik Pedersen
2019-10-21 10:21:37 +02:00
parent 180195aa34
commit 39121de4d9
949 changed files with 0 additions and 61336 deletions

View File

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