chiark / gitweb /
remove DISTRO_PORTING
authorAndy Wingo <wingo@pobox.com>
Fri, 3 Apr 2015 16:18:10 +0000 (18:18 +0200)
committerAndy Wingo <wingo@pobox.com>
Fri, 3 Apr 2015 16:18:10 +0000 (18:18 +0200)
commit7bfd594ac81bed237cd9b98206e22003ddad43e2
treeabcbcc9a08fc52cc12fad49de4365eec2ccbff46
parente09b5f9049a3e988a293a78260fbf7d0b01406fa
remove DISTRO_PORTING
DISTRO_PORTING [deleted file]