1. 17 Jul, 2020 2 commits
    • Leo Wandersleb's avatar
      script run · fa74057a
      Leo Wandersleb authored
      fa74057a
    • Leo Wandersleb's avatar
      improve git handling · 670f61b1
      Leo Wandersleb authored
      "git clone; git checkout" is changed to only clone the tagged version.
      Information on the version used is printed in the results, including any
      signatures.
      670f61b1
  2. 16 Jul, 2020 1 commit
  3. 15 Jul, 2020 9 commits
  4. 14 Jul, 2020 4 commits
  5. 13 Jul, 2020 5 commits
  6. 12 Jul, 2020 4 commits
  7. 11 Jul, 2020 2 commits
  8. 10 Jul, 2020 4 commits
  9. 09 Jul, 2020 9 commits