diff .hgignore @ 46:6593d1c4c7b5

MERGE: the php71 plugin from the old repository
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 09 Mar 2019 13:48:07 +0100
parents 5cbcc4e66817
children 34bdc63a33db
line wrap: on
line diff