Igor 33906869c0 Improve loop devices management by allocating random free device instead of next one (#6345)		2024-03-06 01:09:54 +01:00
..
functions	Improve loop devices management by allocating random free device instead of next one (#6345)	2024-03-06 01:09:54 +01:00
tools	cli: introduce inventory-boards cli command, for hopefully painless & useful one-board-per-line CSV output	2024-03-06 00:58:26 +01:00
library-functions.sh	lib: implement and sprinkle some very basic config var change-tracking across board/family sourcing and several hook calls	2024-01-07 18:58:36 +01:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00