Ricardo Pardini 953ab276d0 logging: better logging when ANSI_COLOR=none (eg, during info collection)		2023-04-15 22:43:06 +02:00
..
functions	logging: better logging when ANSI_COLOR=none (eg, during info collection)	2023-04-15 22:43:06 +02:00
tools	patching: python: useful debug log with value of BASE_GIT_TAG	2023-04-15 22:43:06 +02:00
library-functions.sh	lib: update library-functions.sh (via bash lib/tools/gen-library.sh)	2023-03-31 09:12:44 +02:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00