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 2011-09-14 14:54:15 by SébastienVillemot)