Changeset 8558044 for gnome/platform/gnome-shell.xml

Timestamp:

09/06/2021 05:42:49 PM (3 years ago)

Author:

Pierre Labastie <pierre.labastie@…>

Branches:

11.1, 11.2, 11.3, 12.0, 12.1, kea, ken/TL2024, ken/inkscape-core-mods, ken/tuningfonts, lazarus, lxqt, plabs/newcss, plabs/python-mods, python3.11, qt5new, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, upgradedb, xry111/intltool, xry111/llvm18, xry111/soup3, xry111/test-20220226, xry111/xf86-video-removal

Children:

fef4473

Parents:

7999839

Message:

Remove spaces at the end of lines

I know it is somewhat useless, but I don't like them for
two reasons: first they cannot be seen, and I do not like things I
cannot see. Second, git highlights them, and this is disturbing...

File:

• gnome/platform/gnome-shell.xml (modified) (2 diffs)

gnome/platform/gnome-shell.xml

@@ -187 +187 @@
 
     <para>
-      <option>-Dextensions=false</option>: This option disables building the 
+      <option>-Dextensions=false</option>: This option disables building the
       <command>gnome-extensions</command> CLI tool. Using this option removes
       the need for <xref linkend="asciidoc"/>.
@@ -204 +204 @@
       <seglistitem>
         <seg>
-          gnome-extensions, gnome-extensions-app, gnome-shell, 
-          gnome-shell-extension-prefs, gnome-shell-extension-tool, 
+          gnome-extensions, gnome-extensions-app, gnome-shell,
+          gnome-shell-extension-prefs, gnome-shell-extension-tool,
           and gnome-shell-perf-tool
         </seg>