diff options
| -rw-r--r-- | docs/THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS b/docs/THANKS index 9405633ee..924b90bb1 100644 --- a/docs/THANKS +++ b/docs/THANKS @@ -90,3 +90,4 @@ that have contributed with non-trivial parts: - Dan Fandrich <dan@coneharvesters.com> - Jean-Philippe Barrette-LaPierre <jpb@rrette.com> - Richard Bramante <RBramante@on.com> + - Daniel Kouril <kouril@ics.muni.cz> |