summaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAgeFilesLines
* Support live hacking.Arun Isaac2018-11-091-1/+40
| | | | | * scripts/mumi.in: Spawn REPL server to support live hacking, if --listen-repl is provided on the command line.
* Goodbye mu, hello guile-debbugs!Ricardo Wurmus2018-08-281-2/+1
|
* Add script to fetch mail archives.Ricardo Wurmus2017-11-011-0/+15
| | | | * scripts/fetch-mailbox.sh: New file.
* Initial commit.Ricardo Wurmus2017-10-301-0/+25