Module component_id_index

Module component_id_index 

Source

Functionsยง

make_index_file
Makes a temporary component ID index file with contents from the given index.