chiark / gitweb /
hidden: make OccKG::pri_occulted generic
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 16 Mar 2021 11:50:29 +0000 (11:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 16 Mar 2021 11:50:29 +0000 (11:50 +0000)
commitd14797d34de56afc9b653e819fae04b9c52492e2
tree6130d3ea25bc9fd0c6f7831d3d8115524fb51187
parent6f0c4577b1e4ab6871bd14827290623d2f01fc96
hidden: make OccKG::pri_occulted generic

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