diff publishconf.py @ 92:6dc02dba2c17

remove unused Make variable
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 13 Feb 2019 03:20:01 +0100
parents 320e1b36eb7e
children e99db3bc53c1
line wrap: on
line diff