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.