From 482da95bcd9b32fc7d5f3d4f1db6ccfa7e2e041e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 18 Dec 2010 13:50:54 +0000 Subject: [PATCH] Renamed NOTEs->README in src. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2343 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/{NOTES.txt => README.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename prism/src/{NOTES.txt => README.txt} (100%) diff --git a/prism/src/NOTES.txt b/prism/src/README.txt similarity index 100% rename from prism/src/NOTES.txt rename to prism/src/README.txt