summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-05-03 10:46:59 +0200
committerAkim Demaille <akim.demaille@gmail.com>2020-05-03 11:28:36 +0200
commitac2ba46053e3ccecda23f654ccec4d93b1484256 (patch)
tree0160f3508da698bf4bde65b7b50e9e0e57ad3a37 /THANKS
parent2a7a2c1d3ae6e878e17fcf8950bc99357e926f5d (diff)
downloadbison-ac2ba46053e3ccecda23f654ccec4d93b1484256.tar.gz
doc: clarify what a location is
Reported by Arthur Schwarz <aschwarz1309@att.net> https://lists.gnu.org/r/help-bison/2013-12/msg00009.html * doc/bison.texi (Location Type): here.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 805c744f..48b31ea9 100644
--- a/THANKS
+++ b/THANKS
@@ -20,6 +20,7 @@ Anthony Heading ajrh@ajrh.net
Antonio Silva Correia amsilvacorreia@hotmail.com
Arnold Robbins arnold@skeeve.com
Art Haas ahaas@neosoft.com
+Arthur Schwarz aschwarz1309@att.net
Askar Safin safinaskar@mail.ru
Balázs Scheidler balazs.scheidler@oneidentity.com
Baron Schwartz baron@sequent.org