5 Commits (master)

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