diff --git a/doxygen-dot-one-thread.patch b/doxygen-dot-one-thread.patch new file mode 100644 index 0000000..3c35dde --- /dev/null +++ b/doxygen-dot-one-thread.patch @@ -0,0 +1,13 @@ +Index: src/config.xml +=================================================================== +--- src/config.xml.orig 2015-06-27 13:40:48.000000000 +0200 ++++ src/config.xml 2015-10-05 15:50:05.584725277 +0200 +@@ -3130,7 +3130,7 @@ + ]]> + + +-