diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 4251460c..97090265 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -501,3 +501,6 @@ Emil Naepflein <Emil.Naepflein@philosys.de> Gerald Berwolf <genka@genka.de> for suggesting to deactivate some templates in tools.h in case some plugin needs to use the STL + +Thomas Sailer <sailer@scs.ch> + for pointing out how to set the terminal parameters to read from the keyboard |