diff etc/pkgtools.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 etc/tools.conf.sample@aa353a3e13e5
children 84d2735fe7f6
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/pkgtools.conf.sample	Thu Oct 17 09:24:07 2019 +0200
@@ -0,0 +1,3 @@
+# Shell (sh) script to configure tools in local-bsdtools
+# @(#)@@PKGORIGIN@@ $HGid$
+#