Code

Remint#236

Code

Open

cmungall wants to merge 5 commits intomasterowlcollab/owltools:masterfrom remintowlcollab/owltools:remintCopy head branch name to clipboard

+291-20

Commits

Commits on Jan 20, 2018

• remint

  cmungall

  committed
  07eeeef

  Copy full SHA for 07eeeef

Commits on Jan 27, 2018

• added remint command

  cmungall

  committed
  34ac462

  Copy full SHA for 34ac462

Commits on Feb 15, 2018

• logging

  cmungall

  committed
  b4cc2e8

  Copy full SHA for b4cc2e8

Commits on Feb 19, 2018

• added option --exclude-seen-literals for copy-axioms

  cmungall

  committed
  1bb770a

  Copy full SHA for 1bb770a

Commits on Apr 19, 2018

• minting

  cmungall

  committed
  3bfe279

  Copy full SHA for 3bfe279