6 Commits

Author	SHA1	Message	Date
flux	82f0e25969	minor tweaks	2023-04-01 14:19:16 -07:00
flux	1876d82e1d	dig speed monoid: don't lose tool level in the groupcaps	2023-04-01 13:00:58 -07:00
flux	622cbe0715	remove debugging statements	2023-03-30 14:08:57 -07:00
flux	26b8efcde9	fix dig_speed monoid	2023-03-30 13:49:20 -07:00
flux	7a4ba34be0	allow completely disabling digging and punching	2023-03-29 15:36:57 -07:00
flux	4853651cdc	initial	2023-03-11 20:37:28 -08:00