Skip to content

Remove Optional for index_files (#1128)#1129

Merged
wyardley merged 2 commits intovoxpupuli:masterfrom wyardley:fix_undef_index_filesOct 3, 2017

Commits

Commits on Oct 2, 2017