diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/add_file | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/add_file b/tools/add_file index 1f2b545..a181bad 100755 --- a/tools/add_file +++ b/tools/add_file @@ -18,6 +18,10 @@ function allfile() { then NAME="André Nusser"; EMAIL="andre.nusser@googlemail.com" fi + if [ "$DGUSER" == "glocke" ] + then + NAME="Christian Glöckner"; EMAIL="cgloeckner@freenet.de" + fi echo "/* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */" > $1; echo "/***************************************************************************" >> $1; |