diff options
| author | cvs2svn <cvs2svn@FreeBSD.org> | 2000-03-17 02:18:05 +0000 |
|---|---|---|
| committer | cvs2svn <cvs2svn@FreeBSD.org> | 2000-03-17 02:18:05 +0000 |
| commit | 6c59170bca7b079bb699aa4fe6a5bf790e0dea6e (patch) | |
| tree | 83a5fb38fba33a2f9e88f2df143b28d6ebc3b483 /devel/spin/pkg-comment | |
| parent | ed96f675f6237d0c1e5833f08538c03471943fdb (diff) | |
Notes
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 |