diff debian/control @ 1524:d35cf9a5e0b5

rename default_options.h.in in docs too
author Matt Johnston <matt@ucc.asn.au>
date Tue, 20 Feb 2018 19:29:55 +0800
parents 8c2d2edadf2a
children 8cc0598b0b9a
line wrap: on
line diff