summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorTim Hatch <tim@timhatch.com>2015-10-13 09:45:20 -0700
committerTim Hatch <tim@timhatch.com>2015-10-13 09:45:20 -0700
commit11d5dfaecb997800aa214e3f8b90c4bff8577329 (patch)
treeefe75cfee2bb69a8946440f1bf5510e46ad28e03 /AUTHORS
parent5feca7d3ad9bb485f0e9325d1ca62159dc358dfe (diff)
downloadpygments-11d5dfaecb997800aa214e3f8b90c4bff8577329.tar.gz
Add Boogie to changelog
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 095a56f7..8dadcf79 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -59,6 +59,7 @@ Other contributors, listed alphabetically, are:
* Patrick Gotthardt -- PHP namespaces support
* Olivier Guibe -- Asymptote lexer
* Jordi GutiƩrrez Hermoso -- Octave lexer
+* Florian Hahn -- Boogie lexer
* Martin Harriman -- SNOBOL lexer
* Matthew Harrison -- SVG formatter
* Steven Hazel -- Tcl lexer