Sophie
var info_8h = [ [ "print_appl_info", "info_8h.html#a997bdb77d55433471acc38ea58bc34ce", null ] ];