diff options
| author | 2013-09-04 17:15:11 -0700 | |
|---|---|---|
| committer | 2013-10-03 17:00:39 -0700 | |
| commit | 7c3d13aebdd8611cae58a1048bffb13cbdc465cb (patch) | |
| tree | 23f2415bb38e77b0d53c1de06c37a133c7b08e51 /tools/generate-operator-out.py | |
| parent | f15242943a7a836966cd521e3095a4b731695c71 (diff) | |
Use file magic to determine file type, not file extension.
Bug: 10614658
Change-Id: I9156dfca78ac8cd1c62fb258825cc791629270a4
Diffstat (limited to 'tools/generate-operator-out.py')
0 files changed, 0 insertions, 0 deletions