diff --git a/share/apps.json b/share/apps.json index d931b416c..83b2abf90 100644 --- a/share/apps.json +++ b/share/apps.json @@ -787,6 +787,12 @@ "meta": { "generator": "Doxygen ([\\d.]+)\\;version:\\1" }, "html": "(?: