Sophie
var librevenge_api_8h = [ [ "REVENGE_API", "librevenge-api_8h.html#a07d3c024b5d5f44042212adc5ed51fed", null ] ];