tools-console-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:54 +0000 (11:46 +0200)
committerIan Jackson <ian.jackson@eu.citrix.com>
Thu, 7 Sep 2017 18:17:58 +0000 (19:17 +0100)
commitd5e93927c9cf8247c9ded6c80d5b28dda463a530
treed5030c7bbb757451baab6ebd60cb1cd8e92ddce1
parent732005347067e4c7540a3d29d72fe1bc9077d277
tools-console-prefix.diff

Patch-Name: tools-console-prefix.diff

Gbp-Pq: Name tools-console-prefix.diff
tools/console/Makefile