VirtualTam 84d0632a2d docker: remove dev image, update documentation ... Relates to https://github.com/shaarli/Shaarli/issues/843 Changed: - Update Docker image list - Update Docker documentation structure Removed: - Delete Dockerfile and resources for the `dev` image - Cleanup `doc/` resources Signed-off-by: VirtualTam <virtualtam@flibidi.net>		2017-07-29 15:32:22 +02:00
..
html	make htmlpages	2017-07-04 21:30:31 +02:00
md	docker: remove dev image, update documentation	2017-07-29 15:32:22 +02:00