diff options
| -rw-r--r-- | profiles/default-linux/sh/use.mask | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/profiles/default-linux/sh/use.mask b/profiles/default-linux/sh/use.mask index 86b9793b6edd..0f01d90a2350 100644 --- a/profiles/default-linux/sh/use.mask +++ b/profiles/default-linux/sh/use.mask @@ -25,3 +25,5 @@ lesstif mono gtk gnome +emacs +doc |