summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorPierre-Marie de Rodat <derodat@adacore.com>2017-03-22 15:04:32 (GMT)
committerPierre-Marie de Rodat <derodat@adacore.com>2018-03-23 18:02:45 (GMT)
commitc31c964d3bbf9a51e2e8f62eafe5038c0ba8ca30 (patch)
tree1d5691d90645dd137a8e59c0f96e5f78e87436f8 /.gitignore
parentdcf824977d9529b610b798258ceebc595de24d4e (diff)
downloadcv2pdb-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