summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTim Baumann <tim@timbaumann.info>2013-05-19 22:34:21 +0200
committerTim Baumann <tim@timbaumann.info>2013-05-19 22:34:21 +0200
commitdc6b7939eccfad4610256f76a5b2bce729d4507b (patch)
treeddba29bc46739b4c8c5f19c5fc0e1e634f96b122
parent057a8da4c453d7507b2f879413c5de64b930391f (diff)
downloadpygments-dc6b7939eccfad4610256f76a5b2bce729d4507b.tar.gz
Added myself (Tim Baumann) to AUTHORS
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 1097ae1b..525d24f4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -15,6 +15,7 @@ Other contributors, listed alphabetically, are:
* Stefan Matthias Aust -- Smalltalk lexer
* Ben Bangert -- Mako lexers
* Max Battcher -- Darcs patch lexer
+* Tim Baumann -- (Literate) Agda lexer
* Paul Baumgart, 280 North, Inc. -- Objective-J lexer
* Michael Bayer -- Myghty lexers
* John Benediktsson -- Factor lexer