From: Benjamin Auder Date: Fri, 21 Apr 2017 15:14:02 +0000 (+0200) Subject: re-apply a few undone updates; simplifiy a bit args in main X-Git-Url: https://git.auder.net/?p=valse.git;a=commitdiff_plain;h=9cb34faffaa6fcb78eb8ae3bdb70fb5147d73466;hp=9cb34faffaa6fcb78eb8ae3bdb70fb5147d73466 re-apply a few undone updates; simplifiy a bit args in main ---