# HG changeset patch
# User regensbu
# Date 792174634 -3600
# Node ID 7a1e07fbffeabd5dc419cb21de2df87ca7496c61
# Parent  6fcddbebabacd8121a291ddbd435a6455b7b543e
'get ID update working'

diff -r 6fcddbebabac -r 7a1e07fbffea src/HOLCF/ex/Dagstuhl.ML
--- a/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:26:32 1995 +0100
+++ b/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:30:34 1995 +0100
@@ -1,5 +1,5 @@
 (*
-    ID: $ $
+    ID:         $Id$
 *)