docs: add cderv as a contributor for doc (#573)

* docs: update README.md [skip ci] * docs: update .all-contributorsrc [skip ci] --------- Co-authored-by: allcontributors[bot] <46447321+allcontributors[bot]@users.noreply.github.com>
2023-11-08 15:54:08 +01:00
parent eead84d7f3
commit bc2d0650bf
2 changed files with 10 additions and 0 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -488,6 +488,15 @@
      "contributions": [
        "bug"
      ]
+    },
+    {
+      "login": "cderv",
+      "name": "Christophe Dervieux",
+      "avatar_url": "https://avatars.githubusercontent.com/u/6791940?v=4",
+      "profile": "https://cderv.rbind.io",
+      "contributions": [
+        "doc"
+      ]
    }
  ],
  "contributorsPerLine": 7,