comparison pkg-descr @ 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 f5f04faa9acf
children a23e952580f8
comparison
equal deleted inserted replaced
130:54de2955bfa9 131:993fecdf2a70