diff options
author | Björn Daase <bjoern@daase.net> | 2020-08-19 11:26:11 +0200 |
---|---|---|
committer | Florian Müllner <florian.muellner@gmail.com> | 2020-08-21 18:25:09 +0000 |
commit | 2fc6384bca0645317a6ee4242ff08d0281254849 (patch) | |
tree | 8cac2574e7dee1e4281bc10eafac558245273a9e /tools | |
parent | 6ad9c99040cec703cec85c68d1d168d3845ceaaa (diff) | |
download | gnome-shell-2fc6384bca0645317a6ee4242ff08d0281254849.tar.gz |
*: Fix spelling mistakes found by codespell
https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1416
Diffstat (limited to 'tools')
-rw-r--r-- | tools/build/jhbuildrc-gnome-shell | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build/jhbuildrc-gnome-shell b/tools/build/jhbuildrc-gnome-shell index b5c238995..aef75dbf0 100644 --- a/tools/build/jhbuildrc-gnome-shell +++ b/tools/build/jhbuildrc-gnome-shell @@ -1,6 +1,6 @@ # -*- mode: python -*- # -# jhbuildrc for building gnome-shell. Customizations shuld be done in +# jhbuildrc for building gnome-shell. Customizations should be done in # ~/.jhbuildrc-custom # # Copyright (C) 2008 Red Hat, Inc. |