diff options
| author | Michael Grunder <michael.grunder@gmail.com> | 2022-06-26 16:49:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-26 16:49:19 -0700 |
| commit | 8a15f4d6578560f2a375c32fc567c4c88335c2a8 (patch) | |
| tree | 2f52d2d6ddb9612103feaaf01372793068a99ae7 /.github | |
| parent | 902dd047fe2f5e9ceb7936083c6d0506685e515f (diff) | |
| parent | dd4bf97836d07df0a4502b72f9024d0231156711 (diff) | |
Merge pull request #1057 from orgads/static-name
Use the same name for static and shared libraries
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions