diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-09-28 20:26:15 +0200 |
|---|---|---|
| committer | Rodrigo <rodarima@gmail.com> | 2025-09-28 23:10:55 +0200 |
| commit | fb510ea86be5ceb9e91573890242581fdbd77ad8 (patch) | |
| tree | d819fe40683592008d136727f5a0b03e48dc1164 /421 | |
Diffstat (limited to '421')
| -rw-r--r-- | 421/index.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/421/index.md b/421/index.md new file mode 100644 index 0000000..0b1abe2 --- /dev/null +++ b/421/index.md @@ -0,0 +1,6 @@ +Title: Document and group developer options in configure +Author: rodarima +Created: Sat, 12 Jul 2025 15:22:55 +0000 +State: closed + +Make sure they are not used accidentally by users.
\ No newline at end of file |