diff Makefile @ 30720:32f160ceb99d

log: drop unnecessary ui.note label from "trouble: " line Follow-up on f05ede08dcf7 and 6d0b1a69f98c.
author Denis Laxalde <denis@laxalde.org>
date Sat, 07 Jan 2017 12:07:56 +0100
parents 06b17f6c6559
children 22a4f664c1a5
line wrap: on
line diff