chiark / gitweb /
script: on delete, delete occregion too
[otter.git] / update-cargo-metadata
2021-04-18 Ian Jacksonupdate-cargo-metadata: New maintenance script