chiark / gitweb /
updates: Move PUE_P alias into prelude
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 16:54:20 +0000 (17:54 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 19:15:32 +0000 (20:15 +0100)
commit2e83e530f8d2fd9f16aa8743fc10b5163b482653
tree50db7954f471132a84e457625e9040ae618823de
parent5492474e6b51ed653cc9af9d9eb97bce8a582c66
updates: Move PUE_P alias into prelude

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/global.rs
src/prelude.rs
src/updates.rs