diff Makefile @ 4485:e3785a8d0712 stable

pick: update working dir branch (issue6089) Previously the working copy was left in an "inconsistent" state.
author Manuel Jacob <me@manueljacob.de>
date Sat, 23 Feb 2019 15:17:55 +0100
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff