diff options
Diffstat (limited to 'devel/nana/pkg-descr')
| -rw-r--r-- | devel/nana/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/devel/nana/pkg-descr b/devel/nana/pkg-descr index de3c8acdb91f..e30a34ead8a6 100644 --- a/devel/nana/pkg-descr +++ b/devel/nana/pkg-descr @@ -19,5 +19,3 @@ using GDB. In particular it provides: with optional time stamping. o Support for the quantifiers of predicate calculus (forall, exists). o Support for before and after state saving and checking (x, x'). - -Phil Maker <pjm@gnu.org> |