diff options
Diffstat (limited to 'Copyright.txt')
| -rw-r--r-- | Copyright.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Copyright.txt b/Copyright.txt index 2cf176910b..bd45dd1f3e 100644 --- a/Copyright.txt +++ b/Copyright.txt @@ -53,6 +53,7 @@ The following individuals and institutions are among the Contributors: * Clement Creusot <creusot@cs.york.ac.uk> * Daniel Blezek <blezek@gmail.com> * Daniel Pfeifer <daniel@pfeifer-mail.de> +* Dawid Wróbel <me@dawidwrobel.com> * Enrico Scholz <enrico.scholz@informatik.tu-chemnitz.de> * Eran Ifrah <eran.ifrah@gmail.com> * Esben Mose Hansen, Ange Optimization ApS |