Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
HDF5 generation: Don't write obsolete sens_ind (#407)
Remove `/amiciOptions/sens_indsens_ind` which is never used. Should have been removed in #394 already (or potentially earlier).
- Loading branch information