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 08fa6396bfa..c8a1f42ab77 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,6 +1,5 @@ -@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $ +@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $ bin/maude -share/maude/fm.maude share/maude/model-checker.maude share/maude/prelude.maude @dirrm share/maude |