merge with 0.30.213
[util-vserver.git] / lib_internal / unify-unify.c
index e17b2fb..55e84f0 100644 (file)
@@ -1,4 +1,4 @@
-// $Id: unify-unify.c,v 1.9 2005/03/24 00:12:23 ensc Exp $    --*- c -*--
+// $Id: unify-unify.c 1973 2005-03-24 00:12:23Z ensc $    --*- c -*--
 
 // Copyright (C) 2004 Enrico Scholz <enrico.scholz@informatik.tu-chemnitz.de>
 //