Kipperlenny/Litotex-0.8 — comment on commit aaa960a2e11914e8c04359f5945f6164d3c3d492
File:  line 0
By gh1234:

Deleting .dist file is not a good idea as you won't be able to pull from the git repo fast forward.