| commit | de78c58d44556967f90fb6480312aa3f4d4e396d | [log] [tgz] |
|---|---|---|
| author | Alessandro Ghedini <alessandro@ghedini.me> | Tue Jun 23 15:33:55 2020 +0100 |
| committer | Alessandro Ghedini <alessandro@ghedini.me> | Wed Jun 24 11:04:24 2020 +0100 |
| tree | de279d43a95e9488cb28885db06e6156e04a4d1a | |
| parent | 50c9f9c4d538fd6ad01e792658e3c12d6efddab9 [diff] |
recovery: rename recovery.rs to recovery/mod.rs This is for consistency with the rest of the project, and to make shell completion less annoying. No functional changes.
diff --git a/src/recovery.rs b/src/recovery/mod.rs similarity index 100% rename from src/recovery.rs rename to src/recovery/mod.rs