Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jan 6, 2026

• Org rename pre 311 (#5576)

  Show description for 3c5a13b
  

  3 peopleauthored
  3c5a13b

  Copy full SHA for 3c5a13b

Commits on Oct 29, 2024

• keep fixing stuff

  jmarrec

  committed
  f0cff49

  Copy full SHA for f0cff49

Commits on Jun 6, 2023

• [chore] Update copyrights (maybe for the last time?)

  Show description for c12880d
  jmarrec

  committed
  c12880d

  Copy full SHA for c12880d

Commits on Jan 24, 2023

• Bit more modernize + manual fixes here and there

  Show description for 6d40b71
  jmarrec

  committed
  6d40b71

  Copy full SHA for 6d40b71

Commits on Mar 26, 2019

• Use git mv to move stuff to new structure

  jmarrec

  committed
  d32810f

  Copy full SHA for d32810f

Loading