Update AUTHORS file (with the skript admin/list_authors.sh)
commit0c893e946288728786bbcd25ec7e6f1e8f1281f9
authorWolfgang Dautermann <dauti@users.sourceforge.net>
Thu, 4 Jun 2020 08:36:23 +0000 (4 10:36 +0200)
committerWolfgang Dautermann <dauti@users.sourceforge.net>
Thu, 4 Jun 2020 08:36:23 +0000 (4 10:36 +0200)
treef99fb2f6e2b2956e196fd09a3da7547f8e57a7fe
parent73adab8609897a5de979e7754e98b24c19e3d760
Update AUTHORS file (with the skript admin/list_authors.sh)

That one gets the contributors from the git logs. Thanks to
Robert Dodier for information about the last missing names
(which I did not know).

I hope, that is better than the version from 13 years ago.
In the old file there was the text:
"As of April 2007, the Maxima developers are:".
AUTHORS