docs : useful tools (#3708)

#3707
JanssenProject · Jan 27, 2023 · 4f2236d · 4f2236d
1 parent e45f19e
commit 4f2236d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/developer/useful-tools.md b/docs/developer/useful-tools.md
@@ -0,0 +1,6 @@
+## Useful tools for developers / administrators:
+
+1. [jsonbin.io](https://jsonbin.io/)
+2. [jwt.io](https://jwt.io/)
+3. [oidcdebugger.com](https://oidcdebugger.com/)
+4. [keytool.online](https://keytool.online/)