update development doc warning

jump-dev · Dec 22, 2016 · 4588045 · 4588045
1 parent f552670
commit 4588045
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/warn.rst b/doc/warn.rst
@@ -3,7 +3,7 @@
 
     <div id="officialwarn" class="admonition warning">
     <p class="first admonition-title">Warning</p>
-    <p class="last">This documentation tracks the development branch of JuMP. For the documentation of the latest JuMP release, see <a href="http://www.juliaopt.org/JuMP.jl/0.14/">here</a>.</p>
+    <p class="last">This documentation tracks the development branch of JuMP. For the documentation of the latest JuMP release, see <a href="http://www.juliaopt.org/JuMP.jl/0.15/">here</a>.</p>
     </div>
     <script type="text/javascript">
     if(!(location.hostname.match('readthedocs') || location.hostname.match('rtfd'))){