view .hgignore @ 165:6dd02b1ebb80

use java-config again for selecting JDKs
author Dirk Olmes <dirk.olmes@codedo.de>
date Wed, 19 Feb 2020 08:20:33 +0100 (2020-02-19)
parents 0dfc68585122
children
line wrap: on
line source
# ignore the local hgignore file - each machine must have its
# own local version that is not intended to be checked in
.local_hgignore