chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8601d91) | patch
Drop some unneeded re-exports, and make the use of imports::* pub
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 May 2022 16:11:56 +0000 (17:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 May 2022 18:09:56 +0000 (19:09 +0100)
commit5db5fd6287a6fe75ad16acd60f1666fce06c21e8
tree7c66f5a292ec2dd10aaccd6bf8e35e53cc70bb31tree | snapshot
parent8601d919250f47f343e33192fd5a3772422f367ccommit | diff
Drop some unneeded re-exports, and make the use of imports::* pub

I think these re-exports were there because I thought the multiple
paths to import were making things ambiguous but actually,
experimentation shows that making the imports re-export pub works
and that it isn't possible to re-export things from the private use.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.