Rename scripts to *.user.js

This commit is contained in:
2022-10-17 15:38:39 +02:00
parent 3edc211c41
commit 66599f516e
3 changed files with 0 additions and 0 deletions