jenz 7ddd33ef0d deleting result sets, some bug fixes etc		2023-04-30 15:21:36 +02:00
..
include	added discord integration and updated create table script	2023-02-03 11:38:47 +01:00
jenz_ban_detector.sp	deleting result sets, some bug fixes etc	2023-04-30 15:21:36 +02:00