chiark / gitweb /
Update CREDITS.md.
authorVladimír Vondruš <mosra@centrum.cz>
Fri, 8 May 2020 13:41:48 +0000 (15:41 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Fri, 8 May 2020 13:41:48 +0000 (15:41 +0200)
CREDITS.rst

index b28ceb6c4134f3ccd6c3936ff2a4940f858796bf..696b971b17c465b3eaf78c1a47e27f91ce56f1f0 100644 (file)
@@ -19,6 +19,8 @@ Listing only people with code contributions, because otherwise there's too many
     for external docs in Markdown files
 -   `@DarkContact <https://github.com/DarkContact>`_ --- Windows-related fixes
 -   `@gotchafr <https://github.com/gotchafr>`_ --- Linux-related fixes
+-   `Rémi Marche <https://github.com/Marr11317>`_ --- Doxygen theme
+    improvements
 -   `@paulignari <https://github.com/paulignari>`_ --- i18n-related
     improvements
 -   Ryohei Machida (`@machida-mn <https://github.com/machida-mn>`_) ---