Merge pull request #4834 from wispgitgecko9/patch-2

Update macOS.gitignore
Revert change to Icon rule
2026-11-07 10:30:43 +01:00 · 2026-04-07 20:04:22 -07:00 · 2026-04-07 20:02:07 -07:00 · 2026-04-06 09:43:23 -07:00 · 2026-04-06 09:41:52 -07:00 · 2026-04-06 18:38:27 +02:00
6 changed files with 10 additions and 3 deletions
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -1,5 +1,6 @@
 # General
 .DS_Store
 .localized
 __MACOSX/
 .AppleDouble
 .LSOverride
@@ -0,0 +1,2 @@
 # 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/wrapper/#usage-without-binary-jar
+# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
 .mvn/wrapper/maven-wrapper.jar
 # Eclipse m2e generated files
@@ -4,3 +4,6 @@ result-*
 # Ignore automatically generated direnv output
 .direnv
 # Ignore NixOS interactive test driver history
 **/.nixos-test-history
@@ -76,8 +76,9 @@ acs-*.bib
 *.cut
 # context
 *.tua
 *.tuc
 *.tui
 *.tuo
 # cprotect
 *.cpt
Author	SHA1	Message	Date
Devin Dooley	c677dd99d4	Merge pull request #4834 from wispgitgecko9/patch-2 Update macOS.gitignore	2026-04-07 20:04:22 -07:00
Devin Dooley	a78658650d	Revert change to Icon rule	2026-04-07 20:02:07 -07:00
Devin Dooley	e9c620b9f6	Merge pull request #4837 from haras-unicorn/feat-nix-ignore-nixos-test-history feat(nix): ignore nixos test history	2026-04-06 09:43:23 -07:00
Devin Dooley	5853962226	Merge pull request #4826 from gxono/patch-1 TeX: add ConTeXt utility cache file (.tuc, .tui & tuo)	2026-04-06 09:41:52 -07:00
haras	c5bf3caf29	feat(nix): ignore nixos test history	2026-04-06 18:38:27 +02:00
Devin Dooley	7514684825	Merge pull request #4835 from ysmartin/patch-1 Fix comment URL for Maven wrapper usage	2026-04-06 09:32:48 -07:00
Devin Dooley	ad49657df2	Merge pull request #4836 from T1ckbase/fix/cpp-gitignore-whitespace Remove trailing whitespace in C++.gitignore	2026-04-06 09:30:03 -07:00
T1ckbase	9ffced6030	Remove remaining trailing whitespace in C++.gitignore	2026-04-05 03:24:04 +08:00
T1ckbase	49990d1d63	Remove trailing whitespace in C++.gitignore	2026-04-05 03:15:27 +08:00
ysmartin	3d21cef359	Fix comment URL for Maven wrapper usage Updated the URL and fragment in the comment for Maven wrapper usage.	2026-04-04 14:47:28 +02:00
WiSP	6a7b122e75	Update macOS.gitignore Added .localized file to the gitignore.	2026-04-03 21:59:36 -05:00
Jonatán Perren	de90107f1a	TeX: add ConTeXt utility cache file (.tuc, .tui & tuo) ConTeXt generates .tuc files (utility cache) during each run. These can be removed using the command line [--purgeall](https://wiki.contextgarden.net/Input_and_compilation/Executable_scripts_and_auxiliary_files/context_script#--purgeall). ConTeXt MKII generates .tui and .tuo with the generation of [ToC](https://wiki.contextgarden.net/Document_structure_and_headlines/Table_of_contents). These files store document metadata between compilations and are not part of the source, so they should be ignored.	2026-04-03 22:06:17 -03:00
Devin Dooley	84c6914a9b	Merge pull request #4828 from quantum9Innovation/lean-gitignore feat: create Lean.gitignore	2026-04-03 17:05:51 -07:00
Ananth VenkateshandDevin Dooley	5f760225cf	fix: only match on `.lake` directory Co-authored-by: Devin Dooley <dooleydevin@github.com>	2026-04-03 20:04:27 -04:00
Devin Dooley	f963896e65	Merge pull request #4818 from vicgeentor/patch-1 Update Agda.gitignore to exclude MAlonzo directories in any location	2026-04-03 14:15:11 -07:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
`@@ -1,2 +1,2 @@`
	`*.agdai`	`*.agdai`
	`MAlonzo/**`	`/MAlonzo/`
		`@@ -0,0 +1,2 @@`
							`# cache and other artifacts produced by Lean's Lake build tool`
							`.lake/`