var file_8h = [ [ "File", "classlog4cxx_1_1_file.html", "classlog4cxx_1_1_file" ], [ "LOG4CXX_FILE", "file_8h.html#a13fef5c2efdc3a96d25afa2ea6059dc6", null ] ];
var file_8h = [ [ "File", "classlog4cxx_1_1_file.html", "classlog4cxx_1_1_file" ], [ "LOG4CXX_FILE", "file_8h.html#a13fef5c2efdc3a96d25afa2ea6059dc6", null ] ];