* Add Roberto Bagnara.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sat, 26 Jan 2002 16:29:52 +0000 (16:29 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sat, 26 Jan 2002 16:29:52 +0000 (16:29 +0000)
commitdb57593ca5cb23b8125c7d62bfb00efa16975b9e
tree518197efe44e4dafcd8c1cbd3177a93cf1b85057
parentbb2670b06c0f98ef1a4fcb193826d65363a302dd
* Add Roberto Bagnara.
AUTHORS