Skip to content

Add NumFOCUS badge and text and new JuMP logo#1374

Merged
mlubin merged 2 commits intomasterfrom numfocusJul 24, 2018

Commits

Commits on Jul 24, 2018