summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorMatth?us G. Chajdas <dev@anteru.net>2019-04-30 21:14:31 +0200
committerMatth?us G. Chajdas <dev@anteru.net>2019-04-30 21:14:31 +0200
commitdc2d18c219e14236642354b9d33865a0987d07b8 (patch)
tree79f107751181221dc3ef17e33a2f96a43979a938 /AUTHORS
parent884c066df07909c7538ece85ceac2083eef4cd1e (diff)
parent19580d8ad4bb824b9055fc7d65fbf202f692833e (diff)
downloadpygments-git-dc2d18c219e14236642354b9d33865a0987d07b8.tar.gz
Merged in sgarnotel/pygments-main (pull request #785)
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!