Commits

Breadcrumbs

History for

ontoolchain_to_github

User selector

All users

All time

Commit History

Commits on Apr 19, 2016

• Merge pull request #1931 from andig/andig-patch-2

  Show description for 39fc85f
  igrr

  committed
  39fc85f

  Copy full SHA for 39fc85f

Commits on Apr 18, 2016

• Python 3 compatibility

  andig

  committed
  1092b42

  Copy full SHA for 1092b42

Commits on Apr 14, 2016

• Add ARM tools (#269)

  igrr

  committed
  797c78d

  Copy full SHA for 797c78d

Commits on Nov 17, 2015

• Add script to merge boards manager packages

  igrr

  committed
  16a2cdc

  Copy full SHA for 16a2cdc

Commits on Oct 31, 2015

• Fix issue with get.py when run in Cygwin (#943)

  igrr

  committed
  daf360d

  Copy full SHA for daf360d

Commits on Oct 30, 2015

• Fix get.py for the case when path doesn't exist

  igrr

  committed
  ab6a480

  Copy full SHA for ab6a480

• Use jq to generate package json

  igrr

  committed
  444a379

  Copy full SHA for 444a379

Commits on Oct 29, 2015

• Update readme and fix tool paths

  igrr

  committed
  a631269

  Copy full SHA for a631269

• Add tool to download other tools

  igrr

  committed
  90fc4f9

  Copy full SHA for 90fc4f9

Loading