diff options
| author | Matthias Melcher <github@matthiasm.com> | 2024-10-10 15:12:04 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2024-10-10 15:12:04 +0200 |
| commit | f87d7a71c0f4c3a8597da8ffff80c51d817be01e (patch) | |
| tree | f8b2ca91507683a3d9b50c1ca0018c59f572fed1 /src | |
| parent | a0f1d5bc5e6de365c467b8c885e02285c0b64607 (diff) | |
Missing *not* in Fl_Preferences docs.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Fl_Preferences.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Fl_Preferences.cxx b/src/Fl_Preferences.cxx index a53ef335b..f2f8fbe94 100644 --- a/src/Fl_Preferences.cxx +++ b/src/Fl_Preferences.cxx @@ -39,7 +39,7 @@ This is the unofficial documentation of the file format as it currently stands. The format may change at any point (although it really should stay backwards - compatible). Preferences files are supposed to be edited manually. + compatible). Preferences files are *not* supposed to be edited manually. Nevertheless, here are the docs: A .prefs file contains multiple lines. A line is defined a 0 or more ASCII |