Merge ba97521cb2 into f963896e65

Add pattern to ignore *_i.h files
The ATL project template of Visual Studio will generate the header file xxx_i.h.
2026-11-05 17:44:46 +01:00 · 2026-04-03 21:16:00 +00:00 · 2026-02-28 11:39:19 +08:00
6 changed files with 2 additions and 12 deletions
@@ -1,6 +1,5 @@
 # General
 .DS_Store
 .localized
 __MACOSX/
 .AppleDouble
 .LSOverride
@@ -1,2 +0,0 @@
 # cache and other artifacts produced by Lean's Lake build tool
 .lake/
@@ -7,7 +7,7 @@ release.properties
 dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
-# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
+# https://maven.apache.org/wrapper/#usage-without-binary-jar
 .mvn/wrapper/maven-wrapper.jar
 # Eclipse m2e generated files
@@ -4,6 +4,3 @@ result-*
 # Ignore automatically generated direnv output
 .direnv
 # Ignore NixOS interactive test driver history
 **/.nixos-test-history
@@ -75,11 +75,6 @@ acs-*.bib
 # comment
 *.cut
 # context
 *.tuc
 *.tui
 *.tuo
 # cprotect
 *.cpt
@@ -97,6 +97,7 @@ StyleCopReport.xml
 *_i.c
 *_p.c
 *_h.h
 *_i.h
 *.ilk
 *.meta
 *.obj
Author	SHA1	Message	Date
Private	333b8e0475	Merge `ba97521cb2` into `f963896e65`	2026-04-03 21:16:00 +00:00
Private	ba97521cb2	Add pattern to ignore *_i.h files The ATL project template of Visual Studio will generate the header file xxx_i.h.	2026-02-28 11:39:19 +08:00
		`@@ -1,2 +0,0 @@`
			`# cache and other artifacts produced by Lean's Lake build tool`
			`.lake/`