diff .hgignore @ 7599:353c5dcf9aa8

pull-request: make pull request title point to the pull request, but explain that it is a PR comment and let "comment" link to the comment
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 22 Mar 2019 02:21:53 +0100
parents 2e7ffb755d4f
children f0013f65982d
line wrap: on
line diff