diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2022-01-03 01:13:22 +0530 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-01-07 16:42:13 +0100 |
| commit | 6d29e3bf601801b734769bf6ae1b11f84f94ee8a (patch) | |
| tree | b2b5bf6ff2d4a70c3593be7839e1818e1267aa4a /tests/data | |
| parent | 823690559011afeacb9dfed02e44ec8078a10976 (diff) | |
scripts: Report REPL server port.
* scripts/mumi.in: Report REPL server port on current-error-port.
Diffstat (limited to 'tests/data')
0 files changed, 0 insertions, 0 deletions