Rename to .pl

All other check script also have the .pl ending
This commit is contained in:
Bernd Arnold 2018-06-03 16:05:54 +02:00
parent de0872e2d7
commit 44816b4979