diff options
author | Arun Isaac <arunisaac@systemreboot.net> | 2018-09-05 16:21:23 +0530 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2018-11-09 19:50:27 +0100 |
commit | 5d68d1d5a29a404f91cd89cbea72c3f557f65518 (patch) | |
tree | b88f4ef9db92430b7a197a678ac1618dfaa3eaf5 /guile.am | |
parent | 24addb127cc0d41ef07ea1b428512650f3e146e1 (diff) |
Support live hacking.
* scripts/mumi.in: Spawn REPL server to support live hacking, if
--listen-repl is provided on the command line.
Diffstat (limited to 'guile.am')
0 files changed, 0 insertions, 0 deletions