tree de279d43a95e9488cb28885db06e6156e04a4d1a
parent 50c9f9c4d538fd6ad01e792658e3c12d6efddab9
author Alessandro Ghedini <alessandro@ghedini.me> 1592922835 +0100
committer Alessandro Ghedini <alessandro@ghedini.me> 1592993064 +0100

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.