Update src/Gurobi_jll.jl

jump-dev · Jun 4, 2024 · 22964a7 · 22964a7
1 parent 602d6cd
commit 22964a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Gurobi_jll.jl b/src/Gurobi_jll.jl
@@ -7,6 +7,7 @@
 # downloaded only during the first instance of `using Gurobi_jll`. This means,
 # for example, that they won't be downloaded by Gurobi.jl if someone has a local
 # install.
+# See https://github.com/jump-dev/Gurobi_jll.jl/pull/18 for details.
 
 @static if get(ENV, "GUROBI_JL_USE_GUROBI_JLL", "true") == "false"
     __precompile__(false)