René Pfeuffer 80b843d0bf Reset to original master branch ...

In case the master branch had been checked out before
with a different commit from an earlier build, we
reset it to the commit from origin.

2020-04-09 21:07:54 +02:00

10 KiB

Raw Blame History

View Raw