diff options
| -rw-r--r-- | etc/MACHINES | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/MACHINES b/etc/MACHINES index 632c0868a6c..83723fccbbc 100644 --- a/etc/MACHINES +++ b/etc/MACHINES | |||
| @@ -1498,11 +1498,10 @@ Xenix (xenix) | |||
| 1498 | to make the Emacs meta key work. | 1498 | to make the Emacs meta key work. |
| 1499 | 1499 | ||
| 1500 | Local variables: | 1500 | Local variables: |
| 1501 | mode: indented-text | 1501 | mode: text |
| 1502 | fill-prefix: " " | 1502 | fill-prefix: " " |
| 1503 | End: | 1503 | End: |
| 1504 | 1504 | ||
| 1505 | |||
| 1506 | This file is part of GNU Emacs. | 1505 | This file is part of GNU Emacs. |
| 1507 | 1506 | ||
| 1508 | GNU Emacs is free software; you can redistribute it and/or modify | 1507 | GNU Emacs is free software; you can redistribute it and/or modify |