diff options
| author | 2018-10-03 23:16:43 +0000 | |
|---|---|---|
| committer | 2018-10-03 23:16:43 +0000 | |
| commit | 95aeae0bd8fd9dbdefc76153140f01463a618c73 (patch) | |
| tree | 718f4ab1e70ddd65d5a3be6c086588a867f952bf /tools/cpp-define-generator/make_header.py | |
| parent | ba62f6638bc78e91f90e48a63d183bff15be940f (diff) | |
| parent | 370f041b01f84b9beb996bf0ce46c41a6cf841d4 (diff) | |
Merge "ART: Give veridex ART defaults"
Diffstat (limited to 'tools/cpp-define-generator/make_header.py')
0 files changed, 0 insertions, 0 deletions