build: ignore more local-only files
authorJulien Moutinho <julm+symantic-base@sourcephile.fr>
Wed, 27 Oct 2021 21:19:22 +0000 (23:19 +0200)
committerJulien Moutinho <julm+symantic-base@sourcephile.fr>
Thu, 28 Oct 2021 00:18:12 +0000 (02:18 +0200)
.gitignore

index 6047e7b26718ccc007ae4976a70da9f2638da489..bad39e48e835851dbdc5848d5c6079885b4a3ace 100644 (file)
@@ -6,6 +6,7 @@
 *.hi
 *.hp
 *.o
+*.orig
 *.prof
 *.root
 .direnv/