diff options
| author | Doug Barton <dougb@FreeBSD.org> | 2011-10-24 09:11:38 +0000 |
|---|---|---|
| committer | Doug Barton <dougb@FreeBSD.org> | 2011-10-24 09:11:38 +0000 |
| commit | 989772c9ac17dbf61d27a16069c9a6a83b5b0c2c (patch) | |
| tree | 9b46cfe4da7168c9fcd7be5e95889fe95c5f07d1 /lang/twelf | |
| parent | ad16b66412609069f1b49ba2ed222c8fce166fba (diff) | |
Notes
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/pkg-descr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/twelf/pkg-descr b/lang/twelf/pkg-descr index 433a4a2c6183..df5296b3b088 100644 --- a/lang/twelf/pkg-descr +++ b/lang/twelf/pkg-descr @@ -16,4 +16,3 @@ and Hilbert's deduction theorem. -- the Twelf home page WWW: http://www.cs.cmu.edu/~twelf -Maintainer: Andrew Bernard (andrewb@cs.cmu.edu) |