Igor dc99764c6c Effectively remove Ubuntu PRO ads by adding fake package		2023-03-28 15:43:59 +02:00
..
functions	Effectively remove Ubuntu PRO ads by adding fake package	2023-03-28 15:43:59 +02:00
tools	lib/tools/shellcheck.sh: add (very low-bar "error") checks to config/sources and config/boards (keeping lib/ code in custom "critical" level)	2023-03-20 17:54:25 -03:00
library-functions.sh	Effectively remove Ubuntu PRO ads by adding fake package	2023-03-28 15:43:59 +02:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00