build: update configuration files

2023-03-14 20:20:52 +00:00 · 2023-03-14 20:20:52 +00:00 · e885ed948a
commit e885ed948a
parent 6d6bf27d6f
10 changed files with 33 additions and 13 deletions
--- a/tools/docker/images/web/root/etc/nginx/conf.d/default.conf
+++ b/tools/docker/images/web/root/etc/nginx/conf.d/default.conf
@ -1,3 +1,5 @@
+# Do not edit this file. It is automatically generated by 'build-configs'.
+
 server {
  server_name _;