diff etc/package-mapping.conf.sample @ 131:993fecdf2a70

Rename etc/tools.conf to etc/pkgtools.conf. Because it is a pkg-related configuration -- and there are other configuration files.
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 17 Oct 2019 09:24:07 +0200
parents 28d4bea7cd1c
children 84d2735fe7f6
line wrap: on
line diff