Merge pull request #20 from nburles/master

Added to contributors.txt
2016-07-20 17:23:11 +02:00 · 2016-07-20 17:23:11 +02:00 · 56b32a7b32
parent d46ef90aa0 ffd65e3ef4
commit 56b32a7b32
1 changed files with 1 additions and 0 deletions
--- a/contributors.txt
+++ b/contributors.txt
@ -93,3 +93,4 @@ YYYY/MM/DD, github id, Full name, email
 2016/03/27, beardlybread, Bradley Steinbacher, bradley.j.steinbacher@gmail.com
 2016/03/29, msteiger, Martin Steiger, antlr@martin-steiger.de
 2016/03/28, gagern, Martin von Gagern, gagern@ma.tum.de
+2016/07/20, nburles, Nathan Burles, nburles@gmail.com