diff options
| author | Karl Berry <karl@freefriends.org> | 2018-12-24 23:17:30 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-12-24 23:17:30 +0000 |
| commit | e598b6a83ccb96d578300e10f1e269ef88027faf (patch) | |
| tree | bae1e06142ff872bab76a290840ccd09b7833857 /Build/source/libs/gmp/configure | |
| parent | a13030f39366d2ba11509849863e9f6a9d78af89 (diff) | |
-lpthread on openbsd; tldbg prefix on our own comment/trace msgs
git-svn-id: svn://tug.org/texlive/trunk@49495 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/gmp/configure')
0 files changed, 0 insertions, 0 deletions