kaetemi 31d5b54e74 Let prim checker only open files with ig extension ... --HG-- branch : build_pipeline_py		2014-02-07 01:01:36 +01:00
..
build_ig_boxes
build_indoor_rbank
build_rbank
CMakeLists.txt