diff src/browser/public/robots.txt @ 1081:ed67265205c4

pages (merge-requests): added a discovery page similar to tickets one: new "mr_handlers_json" option allows to add well known merge-requests handlers in configuration.
author Goffi <goffi@goffi.org>
date Tue, 27 Mar 2018 08:40:12 +0200
parents a54882348ecc
children
line wrap: on
line diff