From e1b28c65b582eda5183b3a35a7bd72aa8cf39835 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rene=CC=81=20Schwaiger?= Date: Wed, 26 Oct 2016 19:43:46 +0200 Subject: [PATCH] Grammar: Add extension `gv` From Wikipedia [Wiki]: > DOT graphs are typically files with the file extension gv or dot. The > extension gv is preferred to avoid confusion with the extension dot > used by early (pre-2007) versions of Microsoft Word. [Wiki]: https://en.wikipedia.org/wiki/DOT_(graph_description_language) --- Syntaxes/DOT.plist | 1 + 1 file changed, 1 insertion(+) diff --git a/Syntaxes/DOT.plist b/Syntaxes/DOT.plist index 606e5d6..3b2b0be 100644 --- a/Syntaxes/DOT.plist +++ b/Syntaxes/DOT.plist @@ -6,6 +6,7 @@ dot DOT + gv firstLineMatch digraph.*