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 /examples | |
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 'examples')
0 files changed, 0 insertions, 0 deletions