tools: Remove .pl extension from user script.

This commit is contained in:
derAnfaenger
2017-10-09 12:11:18 +02:00
committed by Tim Abbott
parent d556f677b2
commit f6834bb60e