automatic commit

[universe.git] / task.cc

diff --git a/task.cc b/task.cc
index 71002c3..013c70a 100644 (file)
--- a/task.cc
+++ b/task.cc
@@ -13,8 +13,6 @@
 // Contact <francois.fleuret@epfl.ch> for comments & bug reports              //
 ////////////////////////////////////////////////////////////////////////////////
 
-// $Id: task.cc,v 1.8 2006-07-10 15:19:06 fleuret Exp $
-
 #include <iostream>
 #include <dlfcn.h>