Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit history

Commits on Nov 20, 2017

• greatly improved tests; improved folding as a result

  fmv1992

  committed
  5b6e92d

  Copy full SHA for 5b6e92d

Commits on Nov 18, 2017

• changed troubleshooting mechanism and updated documentation on development guidelines

  fmv1992

  committed
  6d497a4

  Copy full SHA for 6d497a4

Loading