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
..
scripts	docker: update following name changes:	2021-04-16 18:32:16 +02:00
Dockerfile	docker: use @ instead of tip for dev images:	2021-10-20 17:23:22 +02:00
libervia.conf	docker: fixes following global renaming	2021-09-08 11:15:54 +02:00
session.conf	docker: Libervia revision can now be specified:	2021-09-08 11:14:17 +02:00