chiark / gitweb /
configure.ac: Abolish use of `libtool'.
[tripe] / debian / tripe-keys.install
2015-05-08 Mark Woodingbuild, debian: Add a suffix to the main TrIPE-specific...
2008-03-29 Mark WoodingBuild system overhaul to conform to new standards.
2008-03-18 Mark Woodingdebian: Pre-emptive reorganization.