diff options
Diffstat (limited to 'lang/maude/PLIST')
-rw-r--r-- | lang/maude/PLIST | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST index ccc7832896c..e7f9d2821bc 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,11 +1,11 @@ -@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $ +@comment $NetBSD: PLIST,v 1.5 2007/12/01 13:17:56 rillig Exp $ bin/maude -share/examples/maude/linear.maude -share/examples/maude/machine-int.maude -share/examples/maude/model-checker.maude -share/examples/maude/model-checker.maude -share/examples/maude/prelude.maude -share/examples/maude/prelude.maude -share/examples/maude/socket.maude -share/examples/maude/term-order.maude -@dirrm share/examples/maude +share/maude/linear.maude +share/maude/machine-int.maude +share/maude/model-checker.maude +share/maude/model-checker.maude +share/maude/prelude.maude +share/maude/prelude.maude +share/maude/socket.maude +share/maude/term-order.maude +@dirrm share/maude |