Rusty Russell 76ad32ec88 check-bolt: move to devtools, clean up tools/ ...

And leave $(TOOLS) as user-visible tools.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>

2025-11-28 09:16:53 +10:30

1.6 KiB

Raw Blame History

View Raw