Variables | |
file_extension | |
filename | |
string | out = filename+'.mm' |
kitti-batch-convert.file_extension |
Definition at line 6 of file kitti-batch-convert.py.
kitti-batch-convert.filename |
Definition at line 6 of file kitti-batch-convert.py.
string kitti-batch-convert.out = filename+'.mm' |
Definition at line 7 of file kitti-batch-convert.py.