diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2024-01-27 10:47:28 +0100 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2024-01-27 10:47:28 +0100 |
commit | fc7de7136acbcf0aef54ae8460c7702bc83709be (patch) | |
tree | c109bb4dd1f1b054db476e7e4117f79bdd62ec9e /docs/config/production | |
parent | 1083bf7c08e6f35826279065b8a09a16cc991c7f (diff) |
docs: Prepare for new sub tree
See #11925
Diffstat (limited to 'docs/config/production')
-rw-r--r-- | docs/config/production/config.toml | 6 | ||||
-rw-r--r-- | docs/config/production/params.toml | 2 |
2 files changed, 0 insertions, 8 deletions
diff --git a/docs/config/production/config.toml b/docs/config/production/config.toml deleted file mode 100644 index a54fe5669..000000000 --- a/docs/config/production/config.toml +++ /dev/null @@ -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
\ No newline at end of file diff --git a/docs/config/production/params.toml b/docs/config/production/params.toml deleted file mode 100644 index d0071fe65..000000000 --- a/docs/config/production/params.toml +++ /dev/null @@ -1,2 +0,0 @@ -# Params for production - |