rename file to reflect simplification

This commit is contained in:
rhuairahrighairigh 2018-06-21 14:11:22 +01:00
parent 82db02471e
commit bfd726a6e7