diff options
Diffstat (limited to 'lang/maude/pkg-plist')
| -rw-r--r-- | lang/maude/pkg-plist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/maude/pkg-plist b/lang/maude/pkg-plist index bda7e4e..da6bfef 100644 --- a/lang/maude/pkg-plist +++ b/lang/maude/pkg-plist @@ -7,4 +7,3 @@ bin/maude %%DATADIR%%/prelude.maude %%DATADIR%%/socket.maude %%DATADIR%%/term-order.maude -@dirrm %%DATADIR%% |
