From 4f9b8ecc912b952f028c4af4ea303919b48d35b3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 10 Apr 2007 13:44:26 +0000
Subject: [PATCH] Removed cudd/examples symlinks.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@257 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/cudd     | 1 -
 prism/examples | 1 -
 2 files changed, 2 deletions(-)
 delete mode 120000 prism/cudd
 delete mode 120000 prism/examples

diff --git a/prism/cudd b/prism/cudd
deleted file mode 120000
index fba6afcf..00000000
--- a/prism/cudd
+++ /dev/null
@@ -1 +0,0 @@
-../cudd
\ No newline at end of file
diff --git a/prism/examples b/prism/examples
deleted file mode 120000
index b20f1089..00000000
--- a/prism/examples
+++ /dev/null
@@ -1 +0,0 @@
-../prism-examples
\ No newline at end of file