diff options
| -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 c75ddb5a0f..a4fec96e3a 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 |