diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-08-19 14:10:51 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-08-19 14:10:51 +0200 |
| commit | 8f899beb4cf40821399d55c648787b487423c93a (patch) | |
| tree | b51adbc6f3a60dfde333e8c8ba805b68816b2a1e /INSTALL | |
| parent | 10df69131f70c63a94247edf38f40ba5a31ae54e (diff) | |
tweak build system
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions