Add bhamiltoncx to contributors.txt

2017-01-23 14:04:15 -08:00 · 2017-01-23 14:04:15 -08:00 · 3a2d4e49f1
parent 449a32d4ae
commit 3a2d4e49f1
1 changed files with 1 additions and 0 deletions
--- a/contributors.txt
+++ b/contributors.txt
@ -130,3 +130,4 @@ YYYY/MM/DD, github id, Full name, email
 2016/12/22, akosthekiss, Akos Kiss, akiss@inf.u-szeged.hu
 2016/12/24, adrpo, Adrian Pop, adrian.pop@liu.se
 2017/01/13, marcelo-rocha, Marcelo Rocha, mcrocha@gmail.com
+2017/01/23, bhamiltoncx, Ben Hamilton, bhamiltoncx+antlr@gmail.com