KNITRO moved to the jump-dev org (#16999)

JuliaRegistries · Jun 26, 2020 · f399836 · f399836
1 parent c7f780a
commit f399836
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/K/KNITRO/Package.toml b/K/KNITRO/Package.toml
@@ -1,3 +1,3 @@
 name = "KNITRO"
 uuid = "67920dd8-b58e-52a8-8622-53c4cffbe346"
-repo = "https://github.com/JuliaOpt/KNITRO.jl.git"
+repo = "https://github.com/jump-dev/KNITRO.jl.git"