Merge branch 'github'

2022-06-26 12:57:09 +02:00 · 2022-06-26 12:57:09 +02:00 · 7be2df43a3
commit 7be2df43a3
parent cd9c345420 aba56177a3
1 changed files with 2 additions and 0 deletions
--- a/mod.conf
+++ b/mod.conf
@ -0,0 +1,2 @@
+name = pdisc
+description = A mod supposed to be used for programming robots in minetest