diff bin/check-ports @ 65:29ede570c816

Adjusted the package's Makefile for new configuration file
author Franz Glasner <hg@dom66.de>
date Thu, 21 Mar 2019 16:17:10 +0100
parents ffd5f575edd5
children 1f3a64254c9c
line wrap: on
line diff