4 Commits

Include renames

Author	SHA1	Message	Date
david	6f85e2eb46	Update Github CI configuration	2022-04-05 22:43:17 +02:00
david	33401b3d39	Add basic documentation	2022-03-29 23:02:15 +02:00
david	e3027ec913	Add Docker build	2022-03-27 20:08:12 +02:00
david	6d2ae21956	Use cargo workspaces	2022-03-12 14:14:18 +01:00