diff .hgignore @ 5262:bf304ee8dd80

revert precompiled headers, as they really help
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 12 Apr 2023 15:53:32 +0200
parents a4c0ae644fe5
children 33f8e180edcf
line wrap: on
line diff