Sophie
var ManagedFile_8h = [ [ "ManagedFile", "ManagedFile_8h.html#a5fcd6472a3b41932c690d08b57443a1c", null ] ];