Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on May 17, 2021

• Rename master to main (#1076)

  Show description for bb17e72
  

  mfeurer

  and

  PGijsbers

  authored
  bb17e72

  Copy full SHA for bb17e72

Commits on Apr 21, 2021

• Fix documentation links (#1048)

  Show description for 10c9dc5
  

  mfeurer

  and

  PGijsbers

  authored
  10c9dc5

  Copy full SHA for 10c9dc5

Commits on Nov 2, 2020

• Transition other Travis jobs to Github Actions (#988)

  Show description for 63ec0ae
  PGijsbers

  authored
  63ec0ae

  Copy full SHA for 63ec0ae

Loading