var searchData= [ ['wrapper_20for_20compressed_20file_2e',['Wrapper for compressed file.',['../group__compression__wrapper.html',1,'']]] ];
var searchData= [ ['wrapper_20for_20compressed_20file_2e',['Wrapper for compressed file.',['../group__compression__wrapper.html',1,'']]] ];