Skip to content

Fix the pkgconfig file generation#95

Merged
bradbell merged 1 commit intocoin-or:masterfrom
GiulioRomualdi:fix/pkg-config
Feb 8, 2021
Merged

Fix the pkgconfig file generation#95
bradbell merged 1 commit intocoin-or:masterfrom
GiulioRomualdi:fix/pkg-config

Commits

Commits on Feb 8, 2021