diff options
author | Tobias Zimmermann <tstoeckler@gmail.com> | 2023-01-27 01:13:57 +0000 |
---|---|---|
committer | Christian Hergert <christian@hergert.me> | 2023-01-27 01:13:57 +0000 |
commit | 75e91154b3f544177c37d49976c1dccae83c3a97 (patch) | |
tree | 6491442d9b0ea35f3ce03dda8d067a327511190e | |
parent | cec2acc391dac7c1b478832083676526e2972e41 (diff) | |
download | gtksourceview-75e91154b3f544177c37d49976c1dccae83c3a97.tar.gz |
docker.lang: add Containerfile to globs
-rw-r--r-- | data/language-specs/docker.lang | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/language-specs/docker.lang b/data/language-specs/docker.lang index b2a17c27..937f53b3 100644 --- a/data/language-specs/docker.lang +++ b/data/language-specs/docker.lang @@ -21,7 +21,7 @@ <language id="docker" name="Dockerfile" version="2.0" _section="Source"> <metadata> <property name="mimetypes">application/docker;text/docker</property> - <property name="globs">Dockerfile</property> + <property name="globs">Containerfile;Dockerfile</property> <property name="line-comment-start">#</property> </metadata> |