Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit history

Commits on Jul 20, 2022

• modify ci/script-docs.py to read new doc locations

  myk002

  committed
  837215e

  Copy full SHA for 837215e

Commits on May 11, 2022

• Fix script-docs.py extension check

  Show description for 8696f72
  lethosor

  committed
  8696f72

  Copy full SHA for 8696f72

Commits on Sep 6, 2021

• Move travis/ scripts to ci/

  lethosor

  committed
  2ac3258

  Copy full SHA for 2ac3258

Loading