aboutsummaryrefslogtreecommitdiff
path: root/docs/markdown/snippets/machine-files-case-insensitve.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/markdown/snippets/machine-files-case-insensitve.md')
-rw-r--r--docs/markdown/snippets/machine-files-case-insensitve.md6
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/markdown/snippets/machine-files-case-insensitve.md b/docs/markdown/snippets/machine-files-case-insensitve.md
deleted file mode 100644
index cacd37c..0000000
--- a/docs/markdown/snippets/machine-files-case-insensitve.md
+++ /dev/null
@@ -1,6 +0,0 @@
-## Machine file keys are stored case sensitive
-
-Previous the keys were always lowered, which worked fine for the values that
-were allowed in the machine files. With the addition of per-project options
-we need to make these sensitive to case, as the options in meson_options.txt
-are sensitive to case already.