diff Makefile @ 109:0bd594fb56f8

Read the tools.conf configuration file where appropriate
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 08 Oct 2019 09:35:30 +0200
parents aa353a3e13e5
children af4eeb94144a
line wrap: on
line diff