Frank Denis d8bc0766b9 Remove an unneeded test

2021-02-10 14:23:16 +01:00

..

ci.yml

Remove an unneeded test

2021-02-10 14:23:16 +01:00

prcheck.sh

Better check for duplicates

2021-02-02 09:16:49 +01:00

prcheck.yml

Add CI pre-check for new entries

2021-01-27 17:09:14 +01:00