urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-21 01:41:37 +03:00
Code Issues Packages Projects Releases Wiki Activity
7febf927fa
shrub/pkg/hs/urbit-king/lib/Urbit
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
..
Arvo Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
King king: Slight CLI cleanup and fix test build. 2020-03-04 19:18:00 -08:00
Noun king: Build without warnings. 2020-01-23 22:23:43 -08:00
Vere king: Add command-line flags to configure HTTP and HTTPS ports. 2020-03-04 19:13:21 -08:00
Arvo.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
Noun.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
Prelude.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
Time.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00
Timer.hs Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob} 2020-01-23 21:28:38 -08:00