diff Makefile @ 4245:419801742d08

topic: only add --publish flag to push if it's not already there
author Anton Shestakov <av6@dwimlabs.net>
date Sun, 04 Nov 2018 22:06:23 +0800
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff