diff options
| author | Marius Kintel <marius@kintel.net> | 2013-10-31 03:02:33 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2013-10-31 03:02:33 (GMT) |
| commit | a197e5b22c7c2a6ff9cc8267d813b00c18e4fc4b (patch) | |
| tree | 945a23eecafd91b05bb601d452be71973156bb9b /scripts/git-archive-all.py | |
| parent | e764c9ad0365c1022ae893af8ef2846779717153 (diff) | |
| parent | c6df50759023a49bb8d0ae4c070782e920dc1ddb (diff) | |
Merge pull request #524 from pdbogen/master
Use find instead of ls and grep to locate gmp.h (or gmp-blah.h)
Diffstat (limited to 'scripts/git-archive-all.py')
0 files changed, 0 insertions, 0 deletions