tools-console-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:54 +0000 (11:46 +0200)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Jan 2019 18:01:30 +0000 (18:01 +0000)
commit07b6049e105ef81176168bc11e2eee2e6838379e
treea28b1ba5a9fb89f90bbdcaadd6ae37f93512559c
parent3ba7b58e0916697c24ca8d0223c8be5532438ea1
tools-console-prefix.diff

Patch-Name: tools-console-prefix.diff

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