Skip to content

Commit

Permalink
Update AUTHORS.
Browse files Browse the repository at this point in the history
  • Loading branch information
wbhart committed Aug 5, 2016
1 parent 0a0143e commit be8e597
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion AUTHORS
Expand Up @@ -167,7 +167,8 @@ Mike Stillman, Jan Englehardt, Jean-Pierre Flori, Jeroen Demeyer, Shi Bai,
Qingwen Guan, Frithjof Schulze, Robert Baillie, Oleksandr Motsak, Hans
Schoenemann, Janko Boehm, Ahmed Soliman, Francois Bissey, Anton Mellit, Daniel
Roche, Denis Kryskov, Daniel Fabian, Julien Ospald, mgkurtz, Max Goldfar, Max
Horn, lzmths, Claus Fieker, Volker Braun, Pascal Molin, Srajan Garg and others.
Horn, lzmths, Claus Fieker, Volker Braun, Pascal Molin, Srajan Garg, Peter
Luschny and others.

$\bullet$ In addition Michael Abshoff, William Stein and Robert Bradshaw have
contributed to the build system of FLINT.
Expand Down

0 comments on commit be8e597

Please sign in to comment.