diff options
Diffstat (limited to 'lang/maude/PLIST')
-rw-r--r-- | lang/maude/PLIST | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST index e7f9d2821bc..32223ac0b87 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.5 2007/12/01 13:17:56 rillig Exp $ +@comment $NetBSD: PLIST,v 1.6 2009/06/14 18:03:36 joerg Exp $ bin/maude share/maude/linear.maude share/maude/machine-int.maude @@ -8,4 +8,3 @@ share/maude/prelude.maude share/maude/prelude.maude share/maude/socket.maude share/maude/term-order.maude -@dirrm share/maude |