chiark / gitweb /
Rename host-cleanup from host-pre-cleanup
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 10 Jan 2023 21:27:02 +0000 (21:27 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 10 Jan 2023 21:27:02 +0000 (21:27 +0000)
commit056bcb95ecded6d38155d1855809898d1f3d060d
treebabb5494998dd8a5fb3618b9e6658b419e81224f
parent9e350a2658be6dc8aa2816dae92c241db3e397f3
Rename host-cleanup from host-pre-cleanup

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