summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-08-28 23:21:38 +0200
committerRicardo Wurmus <rekado@elephly.net>2018-08-28 23:21:38 +0200
commit0c57ea2ee68fe9930304351797f2091199fafdbb (patch)
tree9476b8d07fc29aa430c92b73b491161032e496d1 /scripts
parent49e627f99c6b25582a5d2ba4f7db1b66278c9b78 (diff)
Goodbye mu, hello guile-debbugs!
Diffstat (limited to 'scripts')
-rw-r--r--scripts/mumi.in3
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/mumi.in b/scripts/mumi.in
index 86677d6..f5ade22 100644
--- a/scripts/mumi.in
+++ b/scripts/mumi.in
@@ -2,7 +2,7 @@
-*- scheme -*-
-*- geiser-scheme-implementation: guile -*-
!#
-;;; mumi -- Mailing list processor
+;;; mumi -- Mediocre, uh, mail interface
;;; Copyright © 2016, 2017 Ricardo Wurmus <rekado@elephly.net>
;;;
;;; This file is part of mumi.
@@ -20,6 +20,5 @@
;;; You should have received a copy of the GNU General Public License
;;; along with mumi. If not, see <http://www.gnu.org/licenses/>.
-(use-modules (mumi)) (init)
(use-modules (mumi web server))
(start-mumi-web-server 1234)