Daniel Lublin 8f4f3585f7 Build specific version of nextpnr ... Keep our repo-commit notes in /usr/local so they are copied over to final image.		2022-09-23 12:10:38 +02:00
..
Dockerfile	Build specific version of nextpnr	2022-09-23 12:10:38 +02:00
Makefile	Reduce final Docker image size	2022-09-20 14:24:59 +02:00