Rename main file as per convention

This commit is contained in:
paul 2020-08-10 23:07:04 +02:00
parent 9e76cd40aa
commit f6139839f1