From 1a888978b4d35c6a146f775bfbdfe587427d5239 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 18 Apr 2007 10:12:43 +0000 Subject: [PATCH] Updated 'modified' info. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@275 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- cudd/modified/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cudd/modified/README b/cudd/modified/README index 3d4a371b..099e2225 100644 --- a/cudd/modified/README +++ b/cudd/modified/README @@ -19,7 +19,7 @@ Below is a list of the files that have been changed. The following structural changes have also been made: - * ddmp/nanotrav/mnemosyne/obj/sis directories have been removed + * ddmp/nanotrav/mnemosyne/obj/sis and various doc directories have been removed * lib directory added with symlinks to lib files