This page lists the points to be checked before pushing a commit to your personal repository or to the public repository.

DynareWiki: CommitChecklist (last edited 2014-08-13 13:44:42 by SébastienVillemot)