s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Updated 'modified' info. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@275 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 19 years ago
parent
3d19d99294
commit
1a888978b4
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      cudd/modified/README

2
cudd/modified/README
View File

@ -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

Write Preview
Loading…
Cancel
Save