chiark / gitweb /
rename toml to toml_de
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 11:29:16 +0000 (11:29 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 11:30:48 +0000 (11:30 +0000)
commitd4aef844469d4962404c7f656b3bb7fc3849273c
tree62884f565d10ea1e3464ffcafd90d7600b7f3cf5
parent9d119fa9d7aa08a8e85ba82c7d3412c869a32591
rename toml to toml_de

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
src/config.rs
src/imports.rs
src/lib.rs
src/toml-de.rs [moved from src/toml.rs with 100% similarity]