Add @karel1980 as a contributor

2022-02-25 11:24:24 +01:00 · 2022-02-25 11:24:24 +01:00 · f36945572d
commit f36945572d
parent 71f4fe7243
2 changed files with 74 additions and 62 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -6538,6 +6538,15 @@
      "contributions": [
        "code"
      ]
+    },
+    {
+      "login": "karel1980",
+      "name": "Karel Vervaeke",
+      "avatar_url": "https://avatars.githubusercontent.com/u/153021?v=4",
+      "profile": "https://github.com/karel1980",
+      "contributions": [
+        "bug"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md