fix duplicated extension in filename

This commit is contained in:
borgesius committed 2022-02-24 20:49:11 -08:00
1 parent d79b8221b2
commit 70a61e0f96
1 file changed
File renamed without changes.