summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 2066c681..f7a7acad 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -223,5 +223,6 @@ Other contributors, listed alphabetically, are:
* Vincent Zurczak -- Roboconf lexer
* Rostyslav Golda -- FloScript lexer
* GitHub, Inc -- DASM16, Augeas, TOML, and Slash lexers
+* Simon Garnotel -- FreeFem++ lexer
Many thanks for all contributions!