diff options
author | Linus Groh <mail@linusgroh.de> | 2022-06-28 19:01:38 +0100 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2022-06-28 21:10:10 +0100 |
commit | cc4bb59a7e551788a6af6ea89ddb9af8391b186e (patch) | |
tree | 067a6ea510ea0c9fe33d5873f3adbc6eb5d3d2c2 /Base/home/anon | |
parent | 93488d6d5afcce8a79eff6c798c26f3152332dfc (diff) | |
download | serenity-cc4bb59a7e551788a6af6ea89ddb9af8391b186e.zip |
Playground: Rename the application to GMLPlayground
Just "Playground" is too generic and doesn't match the general rule of
"application name equals display name minus spaces".
Diffstat (limited to 'Base/home/anon')
-rw-r--r-- | Base/home/anon/.config/LaunchServer.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Base/home/anon/.config/LaunchServer.ini b/Base/home/anon/.config/LaunchServer.ini index 64fb64f7e9..c3a47576fc 100644 --- a/Base/home/anon/.config/LaunchServer.ini +++ b/Base/home/anon/.config/LaunchServer.ini @@ -19,7 +19,7 @@ txt=/bin/TextEditor font=/bin/FontEditor sheets=/bin/Spreadsheet csv=/bin/Spreadsheet -gml=/bin/Playground +gml=/bin/GMLPlayground pdf=/bin/PDFViewer profile=/bin/Profiler pp=/bin/PixelPaint |