mirror of
https://github.com/Echtzeitsysteme/tchecker.git
synced 2024-05-20 20:00:44 +00:00
Updated list of authors
This commit is contained in:
parent
47649a3c60
commit
3c9003cceb
1
AUTHORS
1
AUTHORS
|
@ -1,2 +1,3 @@
|
|||
List of contributors to the TChecker projet:
|
||||
- Frédéric Herbreteau, Bordeaux INP, fh at labri.fr
|
||||
- Gérald POINT, CNRS, gerald.point at labri.fr
|
||||
|
|
Loading…
Reference in a new issue