4 Commits

Author	SHA1	Message	Date
Mike Hearn	dd2f1f9798	Mention Docker images in the release notes.	2019-01-16 13:33:25 +01:00
Wawrzyniec Niewodniczański	d4178eecca	Adjust titles in docker ... - capitalization should be better	2019-01-11 16:06:09 +00:00
Wawrzyniec Niewodniczański	718d4b3630	Reorder Ops docs ... - reorder Ops docs page to make it easier to follow - reorder content of node.conf fields - fix docker-image hierarchy	2018-12-28 17:19:07 +00:00
Stefano Franz	bbd5369e04	Add Docker image as output of build (#4223)	2018-11-20 13:38:44 +00:00