var librevenge_stream_api_8h = [ [ "REVENGE_STREAM_API", "librevenge-stream-api_8h.html#ada061e67d950cb2ab8364d49976222a6", null ] ];
var librevenge_stream_api_8h = [ [ "REVENGE_STREAM_API", "librevenge-stream-api_8h.html#ada061e67d950cb2ab8364d49976222a6", null ] ];