kitti-batch-convert.py File Reference

Go to the source code of this file.

Namespaces
	kitti-batch-convert

Variables
	kitti-batch-convert.file_extension
	kitti-batch-convert.filename
string	kitti-batch-convert.out = filename+'.mm'