Ricardo Pardini cacd3c9b08 docker (launcher): fix un-needed grep escape \: (fixes "grep: warning: stray \ before :" on recent coreutils)		2023-10-03 14:11:42 +02:00
..
functions	docker (launcher): fix un-needed grep escape \: (fixes "grep: warning: stray \ before :" on recent coreutils)	2023-10-03 14:11:42 +02:00
tools	patching: show auto-patch'ed in summary table (in blue); remove spurious warnings	2023-10-03 14:10:46 +02:00
library-functions.sh	hashed-OCI-revisioned-debs: introduce "reversioning" of .deb packages	2023-08-12 09:58:32 +02:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00