From 873791b3890c8f16be65b82b2d1364ae2e342354 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 15 Oct 2010 20:43:08 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2162 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/NOTES b/prism/NOTES
index d1347837..8098bdde 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -1,7 +1,6 @@
 Remove for beta distributions:
 ------------------------------
-* NOTES*
-* TODO?
+* NOTES
 
 =======================================================