diff options
Diffstat (limited to 'docs/markdown/snippets/machine-files-case-insensitve.md')
| -rw-r--r-- | docs/markdown/snippets/machine-files-case-insensitve.md | 6 |
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. |