4 commits

Author	SHA1	Message	Date
12pm	3dcb83778f	Make name more descriptive	2019-03-11 14:48:45 +01:00
12pm	29592afdb5	Add exact name ban option	2019-03-03 18:29:33 +01:00
heinrich5991	925aff21d4	Fix all the header guards and adjust the script a little	2018-07-06 16:11:38 +02:00
heinrich5991	11304661db	Put name ban stuff into a separate file ... Fix a bug when overlong names could be used to circumvent name bans. Add tests for name bans.	2018-03-14 02:35:31 +01:00