diff .hgignore @ 2:ad2fc4ec99fb

fix missing "patch" command-line tool in Docker
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 22 Mar 2023 11:51:32 +0100
parents 3f1cf4a8e31f
children 59117a506f9f
line wrap: on
line diff