automatic commit

[universe.git] / main.cc

diff --git a/main.cc b/main.cc
index cb94b7f..8c98473 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -49,8 +49,6 @@ void check_opt(int argc, char **argv, int n_opt, int n, char *help) {
 }
 
 void print_help_and_exit(int e) {
-  cout << "$Id: main.cc,v 1.89 2007-06-16 13:51:53 fleuret Exp $" << endl;
-  cout << endl;
   cout << "Arguments:" << endl;
   cout << "  --no-window" << endl;
   cout << "  --nb-ticks=<int: number of ticks>" << endl;