diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-11 22:39:47 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-11 22:39:47 -0700 |
| commit | 27b1581d788a44e3f4a4771e08dc394be21a983c (patch) | |
| tree | f5ebbf3eab751c04f67883ea479a4ee6371b1713 | |
| parent | 75d8c99c73d2a725c6753170050fa77469c803d1 (diff) | |
Updated authors in MANUAL.txt.
| -rw-r--r-- | MANUAL.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index ebf235896..7b5b28423 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -4281,6 +4281,7 @@ Antoine Latter, Arata Mizuki, Arlo O'Keeffe, Artyom Kazak, +Agustín Martín Barbero, B. Scott Michel, Ben Gamari, Beni Cherniavsky-Paskin, |