Commit 6d22826
authored
Switch to using papilo develop branch (#493)
We were using a temporary bug fix branch that has bug fixes for cliquemerging presolver. This branch is now merged into develop branch. So we are switching to develop branch now.
## Issue
Authors:
- Rajesh Gandham (https://github.com/rg20)
Approvers:
- Ramakrishnap (https://github.com/rgsl888prabhu)
URL: #4931 parent d69c4c1 commit 6d22826
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
190 | 190 | | |
191 | 191 | | |
192 | 192 | | |
193 | | - | |
| 193 | + | |
194 | 194 | | |
195 | | - | |
| 195 | + | |
196 | 196 | | |
197 | 197 | | |
198 | 198 | | |
| |||
0 commit comments