diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-11 17:36:50 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:36:57 +0700 |
| commit | 8952ed8a69a4dc00315dc32dce11a49c2261b0b0 (patch) | |
| tree | 2b657ceb1b41846a213989a91c4a8a4248ca8d99 /development/maude | |
| parent | da9247ad6802c89e6aaf9fd3d1a55d6c8c7262ae (diff) | |
development/maude: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/maude')
| -rw-r--r-- | development/maude/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/maude/README b/development/maude/README index c75ddb5a0f35..a4fec96e3aec 100644 --- a/development/maude/README +++ b/development/maude/README @@ -15,4 +15,4 @@ you may: - export the variable to the environment, then run maude $ export MAUDE_LIB=/usr/share/maude/ - $ maude
\ No newline at end of file + $ maude |