Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Mar 15, 2020

• Refactored and fixed code to use be fully schema-independent.

  jgebal

  committed
  725d367

  Copy full SHA for 725d367

Commits on Nov 25, 2018

• make all shell scripts executable

  PhilippSalvisberg

  committed
  7aa2a7c

  Copy full SHA for 7aa2a7c

Commits on Aug 26, 2017

• Update of CONTRIBUTING.md. Fixed developer scripts.

  jgebal

  committed
  4a1d223

  Copy full SHA for 4a1d223

Loading