Ricardo Pardini 19226a9c27 docker (launcher): fix DOCKER_PASS_GIT=yes to actually work ... - it still sucks (very slow) but is a way to get ${SRC}/.git in Docker if needed - eg for patching archeology		2023-10-03 14:11:42 +02:00
..
functions	docker (launcher): fix DOCKER_PASS_GIT=yes to actually work	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