tools-console-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:54 +0000 (11:46 +0200)
committerWolodja Wentland <debian@babilen5.org>
Wed, 15 Aug 2018 22:51:28 +0000 (23:51 +0100)
commitb4baeeaa3e5a14cc420d7f2fa33aa4a0899e58b9
tree4acd0f86c91eb3b18fa174abf78e0a2c4ba25494
parent6bf11b0e9b6adb2ced5466c2321294df07291696
tools-console-prefix.diff

Patch-Name: tools-console-prefix.diff

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