Benjamin Summers 98bbd7364d Merge branch 'master' of github.com:urbit/urbit into two-ship-king		2020-04-30 14:51:47 -07:00
..
Arvo	Merge pull request #2830 from urbit/king-https-fix	2020-04-30 13:08:13 -07:00
King	king: Support running multiple ships at the same time.	2020-04-30 14:51:28 -07:00
Noun	king: In http-server/set-config effect, key+cert is Wain, not Cord.	2020-04-30 11:18:23 -07:00
Vere	Merge branch 'master' of github.com:urbit/urbit into two-ship-king	2020-04-30 14:51:47 -07: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