2 Commits

Author	SHA1	Message	Date
Chris Montgomery	14e7ace5c0	cli: remove bud ... This has been planned for some time. It seems necessary to do so now because after updating inputs to track NixOS 22.05 channels and releases, checks fail unexpectedly, with the traces leading back to `bud`. Disabling its modules allows checks to run successfully. Rather than figuring out what's going wrong with `bud`, it seems more appropriate to remove it as planned.	2022-07-09 16:24:47 -04:00
Parthiv Seetharaman	46fe74647e	tree: move everything into examples/devos	2022-02-23 15:21:28 -08:00