Rename Lasko_fan_simple to Lasko_fan_simple.ir

This commit is contained in:
isewise
2022-05-14 19:59:35 -07:00
committed by GitHub
parent 308cd339da
commit 6a5344ce2c