chiark / gitweb /
doc: updated credits.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 8 Oct 2020 11:10:28 +0000 (13:10 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 8 Oct 2020 11:11:01 +0000 (13:11 +0200)
CREDITS.rst

index 31d8f5462026ebe05f60d1e0b42cb9f22ed061da..3a805944741e8f3c5c836824679167d397e4d85a 100644 (file)
@@ -18,7 +18,7 @@ Listing only people with code contributions, because otherwise there's too many
 -   `@Bridouz <https://github.com/Bridouz>`_ --- documentation improvements
 -   Cris Luengo (`@crisluengo <https://github.com/crisluengo>`_) ---
     complete handling of Doxygen entities and super/subscript elements, fixes
-    for external docs in Markdown files
+    for external docs in Markdown files, style fixes
 -   `@DarkContact <https://github.com/DarkContact>`_ --- Windows-related fixes
 -   `@gotchafr <https://github.com/gotchafr>`_ --- Linux-related fixes
 -   `Lukas Pirl <https://github.com/lpirl>`_ --- Pelican theme improvements
@@ -30,6 +30,7 @@ Listing only people with code contributions, because otherwise there's too many
     proof-of-concept implementation of ``#include`` information in the Doxygen
     theme
 -   Sergei Izmailov (`@sizmailov <https://github.com/sizmailov>`_) ---
-    improvements to pybind11 support in the Python doc theme
+    improvements to pybind11 support in the Python doc theme; theme, style and
+    search fixes
 -   Yuri Edward (`@Yuri6037 <https://github.com/Yuri6037>`_) --- improvements
     to the Doxygen theme