diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-08-28 23:21:38 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-08-28 23:21:38 +0200 |
| commit | 0c57ea2ee68fe9930304351797f2091199fafdbb (patch) | |
| tree | 9476b8d07fc29aa430c92b73b491161032e496d1 /scripts/mumi.in | |
| parent | 49e627f99c6b25582a5d2ba4f7db1b66278c9b78 (diff) | |
Goodbye mu, hello guile-debbugs!
Diffstat (limited to 'scripts/mumi.in')
| -rw-r--r-- | scripts/mumi.in | 3 |
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) |