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 /COPYING | |
| 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 'COPYING')
0 files changed, 0 insertions, 0 deletions