Fang de409e6edb kiln: adjust dudes even if remote is identical ... There might be cases where the local situation still doesn't match. This lets us recover from that.		2021-09-29 00:56:35 +04:00
..
drum.hoon	kiln,desks: remove %fish from /desk/bill; fix some other kiln issues	2021-09-26 17:03:26 -04:00
helm.hoon	various: fix merge problems	2021-08-18 01:16:48 +03:00
kiln.hoon	kiln: adjust dudes even if remote is identical	2021-09-29 00:56:35 +04:00