aboutsummaryrefslogtreecommitdiff
path: root/loader/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-10-09 18:42:26 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-10-09 18:42:26 +0200
commit1a87500a2e7e6d4c0cb783cc6f003fc703315d16 (patch)
treeb50ccac8a33cada3eacf0cdb32e1c3738d584bb8 /loader/.gitignore
parent78057f32ca6c4341cf69784deb91aad4770cccd7 (diff)
Use odb::nested_key instead of brep::index_pair
Diffstat (limited to 'loader/.gitignore')
0 files changed, 0 insertions, 0 deletions