diff options
| author | midipix <writeonce@midipix.org> | 2017-10-19 12:40:11 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2017-10-19 18:38:42 -0400 |
| commit | 809708ab14cc5f12f547a0d4b57d1169b780f100 (patch) | |
| tree | e81401606311b6d6dfd5602c294bcbcae7beb9ce /config.project | |
| parent | 95842c8919a9a21021f01e6a86a64e92cbd226bf (diff) | |
| download | mdso-809708ab14cc5f12f547a0d4b57d1169b780f100.tar.bz2 mdso-809708ab14cc5f12f547a0d4b57d1169b780f100.tar.xz | |
build system: allow cmdline overriding of the static archive's base name.
Diffstat (limited to 'config.project')
0 files changed, 0 insertions, 0 deletions