5 Commits

Include renames

Author	SHA1	Message	Date
Charles	25de2bd3ce	Added docker.	2021-07-08 18:29:58 +01:00
Mike Brady	cdc249ba51	Temporarily remove prior to making public.	2021-07-08 12:02:40 +00:00
Charles	c5b58343fb	Docker image start.	2021-05-05 13:09:07 +01:00
Mike Brady	4d179691b2	Move Docker stuff to another repository	2020-06-24 16:36:19 +01:00
Mike Brady	6b613dfc78	Simple Docker configuration	2020-06-24 16:04:18 +01:00