view .gitignore @ 667:1da48e5c51cf

remove unneeded export
author zegervdv <zegervdv@me.com>
date Tue, 27 Sep 2022 20:57:45 +0200
parents 0b2c942eb2c9
children be8b6ef385d5
line wrap: on
line source

*~
**/*.orig