module documentation

Undocumented

Class ​Migration​Recorder Deal with storing migration records in the database.