Oliver Smith 38f7fcb265 */.release: remove ... These files are in .gitignore and get generated at the end of running 'make'. Remove them to have less cluttered 'git grep' output. Change-Id: Ie5bf05220359ac0941f62cc86ed843363548784a		2022-07-06 12:36:26 +02:00
..
Dockerfile	*/Dockerfile: drop MAINTAINER line	2022-05-13 18:17:06 +02:00
Makefile	make/Makefile: always use docker run --rm	2022-02-14 07:46:23 +00:00