urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-21 09:51:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
7415a2f66a
shrub/pkg/hs/urbit-king/lib/Urbit/King
History
Benjamin Summers 237774adc5 king: Slight CLI cleanup and fix test build. 
Forgot to add `hidden` to http options. Without this, they show up on
the summary line in `king run --help`.
2020-03-04 19:18:00 -08:00
..
API.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
App.hs fix progress bar in daemon mode 2020-02-03 17:27:16 -08:00
CLI.hs king: Slight CLI cleanup and fix test build. 2020-03-04 19:18:00 -08:00
Config.hs king: Add command-line flags to configure HTTP and HTTPS ports. 2020-03-04 19:13:21 -08:00
EventBrowser.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
Main.hs king: Add command-line flags to configure HTTP and HTTPS ports. 2020-03-04 19:13:21 -08:00
TryJamPill.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00