diff options
| author | cvs2svn <cvs2svn@FreeBSD.org> | 2002-08-10 04:35:28 +0000 |
|---|---|---|
| committer | cvs2svn <cvs2svn@FreeBSD.org> | 2002-08-10 04:35:28 +0000 |
| commit | f124555536ce4b815ff160312c094545c36ec440 (patch) | |
| tree | 702199d3b5e34c9ba151483313d8c26565451c75 /devel/spin/pkg-comment | |
| parent | Add pd-0.35.23 (diff) | |
This commit was manufactured by cvs2svn to create tag 'RELEASE_4_6_2'.release/4.6.2
Diffstat (limited to 'devel/spin/pkg-comment')
| -rw-r--r-- | devel/spin/pkg-comment | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/spin/pkg-comment b/devel/spin/pkg-comment deleted file mode 100644 index 3cce122e2137..000000000000 --- a/devel/spin/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -An on-the-fly verification system for asynchronous concurrent systems |