diff --git a/rcs2log b/rcs2log new file mode 100755 index 0000000000000000000000000000000000000000..eb3a212a8860db79f694301c53e97fbe130f1e83 --- /dev/null +++ b/rcs2log @@ -0,0 +1,7 @@ +#!/bin/bash +IFS="" claus=`echo -en 'claus\tClaus-Justus Heine\tclaus@mathematik.uni-freiburg.de'` +IFS="" kunibert=`echo -en 'kunibert\tKunibert G. Siebert\tsiebert@math.uni-augsburg.de'` +IFS="" dani=`echo -en 'dani\tDaniel Koester\tdani@mathematik.uni-freiburg.de'` +IFS="" oli=`echo -en 'oli\tOliver Kriessl\toli@mathematik.uni-freiburg.de'` +exec /usr/bin/rcs2log -u "$claus" -u "$kunibert" -u "$dani" -u "$oli" "$@" + \ No newline at end of file