debian specific patch information for drawtiming / 0.7.1-5

 src/main.cc |    3 +++
 1 file changed, 3 insertions(+)

 doc/drawtiming.1 |   18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

 src/timing.cc |    1 +
 1 file changed, 1 insertion(+)

 src/Makefile.am |    2 +-
 src/Makefile.in |    4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)