does git reset --hard origin/master (http://lilypond.org/doc/v2.13/Documentation/contributor-big-page#reverting-all-local-changes) reset whole repository or just current branch?
Janek _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
