mic_none

Talk:Intermediate Data Format Source: en.wikipedia.org/wiki/Talk:Intermediate_Data_Format

I just read both specs and neither states the file extensions for board, component, library or panel files.