Skip to content

Commit

Permalink
Merge pull request #3118 from obophenotype/refresh-poro
Browse files Browse the repository at this point in the history 
Refresh the local copy of PORO.
  • Loading branch information
@gouttegd
gouttegd authored Nov 17, 2023
2 parents a94b4df + 531aa9d commit 17b7e37
Showing 1 changed file with 71 additions and 1,009 deletions.
Loading

0 comments on commit 17b7e37

Please sign in to comment.