Add @deining as a contributor

2022-11-25 18:24:54 +01:00 · 2022-11-25 18:24:54 +01:00 · afa4e70c8a
commit afa4e70c8a
parent 5b2243aff1
2 changed files with 114 additions and 104 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -7006,6 +7006,15 @@
      "contributions": [
        "doc"
      ]
+    },
+    {
+      "login": "deining",
+      "name": "Andreas Deininger",
+      "avatar_url": "https://avatars.githubusercontent.com/u/18169566?v=4",
+      "profile": "https://github.com/deining",
+      "contributions": [
+        "doc"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md