5 Commits

Author	SHA1	Message	Date
darodi	4c42dd60c3	improve ignores	2022-05-23 13:26:41 +02:00
darodi	5b56e15303	improve ignores	2022-05-12 01:53:37 +02:00
darodi	779a4a5836	docker build pipeline	2022-04-09 02:14:30 +02:00
localhost	536bef70a8	* fix typo; git is supposed to be .git ... * doing this shaves off ~60MB from the Docker image	2022-04-04 22:30:29 -04:00
darodi	1e752321b7	docker files: define UID/GID for downloaded files, armv7 Dockerfile	2021-10-17 19:52:33 +02:00