diff options
| author | Jack Lloyd <[email protected]> | 2017-11-29 18:57:56 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-11-29 18:57:56 -0500 |
| commit | efbfa86c9882e43de496fd64992525fdadb2cf09 (patch) | |
| tree | 124ea87f9c06435456e2fa2c7eeb3e418a97f03a /src/build-data/oids.txt | |
| parent | db4ab47874e46e2a3011b43509db98fb1b0893cc (diff) | |
| parent | db6a06c3ba303e65e1236324ec773bfce15764be (diff) | |
Merge GH #1321 Use a script for make clean
Diffstat (limited to 'src/build-data/oids.txt')
0 files changed, 0 insertions, 0 deletions