Squashed 'external/json/' content from commit 9cca280a4

git-subtree-dir: external/json
git-subtree-split: 9cca280a4d0ccf0c08f47a99aa71d1b0e52f8d03

tools/serve_header/serve_header.yml.example

@@ -0,0 +1,15 @@
+# all paths are relative to the project root
+
+# the root directory for the web server
+# root: .
+
+# configure SSL
+# https:
+#   enabled: true
+# these filenames are listed in .gitignore
+#  cert_file: localhost.pem
+#  key_file: localhost-key.pem
+
+# address and port for the server to listen on
+# bind: null
+# port: 8443