Rename 2021_0_05.properties to 2021_0_5.properties

This commit is contained in:
Oleg Zhurakousky
2022-11-03 10:09:17 +01:00
committed by GitHub
parent 06407b7906
commit 10711564b7