Remove dev docs; make 0.1 the default

This commit is contained in:
2020-10-08 15:04:10 -05:00
parent cbbe184c4a
commit 070c4adc73
55 changed files with 1 additions and 12433 deletions

View File

@@ -1 +1 @@
<meta http-equiv="Refresh" content="0; url='/MIPLearn/dev'" />
<meta http-equiv="Refresh" content="0; url='/MIPLearn/0.1'" />