Manually merged pull request #26.

antlr · Aug 1, 2016 · d089c8d · d089c8d
1 parent 282e193
commit d089c8d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/contributors.txt b/contributors.txt
@@ -97,3 +97,4 @@ YYYY/MM/DD, github id, Full name, email
 2016/07/20, nburles, Nathan Burles, nburles@gmail.com
 2016/07/20, kosl90, Li Liqiang, kos1990l@gmail.com
 2016/07/27, timoc, Tim O'Callaghan, timo@linux.com
+2016/07/26, nic30, Michal Orsák, michal.o.socials@gmail.com