diff options
author | Pierre-Marie de Rodat <derodat@adacore.com> | 2017-03-22 15:04:32 (GMT) |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2018-03-23 18:02:45 (GMT) |
commit | c31c964d3bbf9a51e2e8f62eafe5038c0ba8ca30 (patch) | |
tree | 1d5691d90645dd137a8e59c0f96e5f78e87436f8 /.gitignore | |
parent | dcf824977d9529b610b798258ceebc595de24d4e (diff) | |
download | cv2pdb-c31c964d3bbf9a51e2e8f62eafe5038c0ba8ca30.zip cv2pdb-c31c964d3bbf9a51e2e8f62eafe5038c0ba8ca30.tar.gz cv2pdb-c31c964d3bbf9a51e2e8f62eafe5038c0ba8ca30.tar.bz2 |
CV2PDB::createTypes: materialize subranges as modifiers for base types
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions