chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98bf0e9) | patch
crate structure: Rename "prelude-part" to "imports"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 May 2022 17:01:55 +0000 (18:01 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 May 2022 18:09:56 +0000 (19:09 +0100)
commite7c70929bac23804c392d1f552eb914dda390ef0
tree00454288a7f7057cb6267ccef97c71a7bd1a0e3etree | snapshot
parent98bf0e98cf17e412220cd968eedcfb607faef9d0commit | diff
crate structure: Rename "prelude-part" to "imports"

This is less clumsy.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
base/imports.rs [moved from base/prelude-part.rs with 100% similarity] blob | history
base/lib.rs diff | blob | history
base/prelude.rs diff | blob | history
src/imports.rs [moved from src/prelude-part.rs with 99% similarity] diff | blob | history
src/lib.rs diff | blob | history
src/prelude.rs diff | blob | history
support/imports.rs [moved from support/prelude-part.rs with 100% similarity] blob | history
support/lib.rs diff | blob | history
support/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.