Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Goffi 0ba1709bb5 docker: use @ instead of tip for dev images: ... `tip` links to most recent commit which may be on an other bookmark than the main one. By using `@`, we're sure that the main bookmark is used.		2021-10-20 17:23:22 +02:00
..
Dockerfile	docker: use @ instead of tip for dev images:	2021-10-20 17:23:22 +02:00