debian/: Bump to Debhelper 10.
[sod] / debian / control
2019-10-07 Mark Woodingdebian/: Bump to Debhelper 10.
2019-08-31 Mark Woodingdebian/: Fix build-dependencies for building the manual.
2019-08-22 Mark Woodingdebian/control: Replace ancient `${Source-Version}...
2015-09-20 Mark WoodingAdd build machinery for the manual.
2015-09-14 Mark WoodingMerge branch 'master' into doc
2015-09-06 Mark WoodingMakefile.am, debian/: Initial packaging; release 0... 0.2.0