diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2022-01-03 01:13:24 +0530 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-01-07 16:42:20 +0100 |
| commit | ac21057c902cc762f35be039b89c88c6db2b1de1 (patch) | |
| tree | d0c926f7bb2d9828b85569a7f6c75503994076a0 /assets/css/screen.css | |
| parent | 35a11293225d27d1d1f9c5e6e13def2b232761b5 (diff) | |
scripts: Make web server address and port configurable.
* scripts/mumi.in (%options): Add address and port options.
(show-mumi-usage): Mention address and port in mumi web usage.
Pass on address and port options to start-mumi-web-server.
Diffstat (limited to 'assets/css/screen.css')
0 files changed, 0 insertions, 0 deletions