Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ipopt: Remove an hack to manage bad debian packaging
Since we don't know if this hack is still relevant, we remove it. Ref: ghorn/debian-coinor-ipopt#2
- Loading branch information