2 commits

Author	SHA1	Message	Date
Robur	1e3fcf984f	Allow README.md being present anywhere ... The one in root takes precedence, but opam-installer doesn't really want to install things into %{prefix}%.	2021-06-30 14:10:02 +00:00
Robur	009fa49e9e	render README from latest build (preserved as a tag value in job_tag table)	2021-06-30 12:47:30 +00:00