diff options
| author | 2012-06-06 18:16:37 -0700 | |
|---|---|---|
| committer | 2012-06-07 10:07:12 -0700 | |
| commit | ecd3a6fc6e29d7dc4cb825c5282a8054ac52b8cf (patch) | |
| tree | f684b381860df24cfea1414d01bff9a37c054023 /tools/generate-operator-out.py | |
| parent | a060ed959efb8d57419edc3c5c1fa48372cc6588 (diff) | |
Use libcorkscrew to detect map collisions.
I taught libcorkscrew about Mac OS map info, so we don't need another
copy of the multi-platform map-parsing code.
Change-Id: Iebb4559804d9d8210d00311987171079a7ee0919
Diffstat (limited to 'tools/generate-operator-out.py')
0 files changed, 0 insertions, 0 deletions