diff options
author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-11-01 18:02:35 +0100 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2021-11-01 21:12:58 +0100 |
commit | 70c7861c33c729d8d55d509a3aa44f8300057d94 (patch) | |
tree | 664a7645ddde26443af2e35591eadded2e2979a1 /Base/etc/SystemServer.ini | |
parent | ea9f2f80a12bb45a1266be6364095e03f5e69690 (diff) | |
download | serenity-70c7861c33c729d8d55d509a3aa44f8300057d94.zip |
UserspaceEmulator: Avoid special character in pseudo-identifier
In the generated HTML code, '#' gets interpreted as the beginning of a
shell comment, which throws the syntax highlighting off. Regardless,
spelling out the meaning of the '#' might make it more readable.
Diffstat (limited to 'Base/etc/SystemServer.ini')
0 files changed, 0 insertions, 0 deletions