From 75b67b53f2a86768cbbc91376527f67dd93d257a Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Wed, 30 Apr 2008 10:16:00 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7830 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/{holocl_namespace.sml => rep_holocl.sml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename su4sml/src/wfcpog/{holocl_namespace.sml => rep_holocl.sml} (100%) diff --git a/su4sml/src/wfcpog/holocl_namespace.sml b/su4sml/src/wfcpog/rep_holocl.sml similarity index 100% rename from su4sml/src/wfcpog/holocl_namespace.sml rename to su4sml/src/wfcpog/rep_holocl.sml