diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-12-31 22:23:54 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-12-31 22:23:54 +0100 |
| commit | b5534977a354c588954c30d28e90116dc4d11d0a (patch) | |
| tree | d484191942a634b653696e8eb6a69e0273d4919d /doc | |
| parent | f82488c060ea980b1da69a022f26658526575547 (diff) | |
add missing linker options, bonus fun
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions