chiark / gitweb /
debian/: Fix userv-ucgi docs rename
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Apr 2017 11:22:48 +0000 (12:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Apr 2017 11:22:48 +0000 (12:22 +0100)
commitfe20d6828ff2581abff1739d412099e021d68f94
treef7180b68c304f3fbdb7a7e76004a05355c75b9e1
parent22d4d881e3102cbed0ab21ef48c5fc821440191a
debian/: Fix userv-ucgi docs rename

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/rules