diff options
-rwxr-xr-x | scripts/eigen_gen_credits | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index 654743256..f597b1b6a 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -8,9 +8,9 @@ # scripts/eigen_gen_credits # configuration -USER='bjacob' +USER='orzel' -rm eigen_gen_credits.log +rm -f eigen_gen_credits.log hg pull >> eigen_gen_credits.log |