Merge 71823a71a3 into b4105e73e4

Merge branch 'main' into patch-3
Fix macOS rule for Icon file exclusion
2026-11-06 10:00:40 +01:00 · 2026-02-13 22:18:27 +00:00 · 2025-09-17 18:34:18 +02:00 · 2022-07-07 14:59:22 +02:00
7 changed files with 33 additions and 44 deletions
@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**
@@ -49,14 +49,14 @@ CMakeFiles/
 CMakeCache.txt
 cmake_install.cmake
 Makefile
-install_manifest.txt
+install_manifest.txt 
 compile_commands.json
 # Temporary files
-*.tmp
+*.tmp 
-*.log
+*.log 
-*.bak
+*.bak 
-*.swp
+*.swp 
 # vcpkg
 vcpkg_installed/
@@ -66,4 +66,4 @@ vcpkg_installed/
 # test output & cache
 Testing/
-.cache/
+.cache/
@@ -1,26 +1,25 @@
-# General
+# General
-.DS_Store
+.DS_Store
-.localized
+__MACOSX/
-__MACOSX/
+.AppleDouble
-.AppleDouble
+.LSOverride
-.LSOverride
+Icon[\r]
-Icon[␍]
+
-
+# Thumbnails
-# Thumbnails
+._*
-._*
+
-
+# Files that might appear in the root of a volume
-# Files that might appear in the root of a volume
+.DocumentRevisions-V100
-.DocumentRevisions-V100
+.fseventsd
-.fseventsd
+.Spotlight-V100
-.Spotlight-V100
+.TemporaryItems
-.TemporaryItems
+.Trashes
-.Trashes
+.VolumeIcon.icns
-.VolumeIcon.icns
+.com.apple.timemachine.donotpresent
-.com.apple.timemachine.donotpresent
+
-
+# Directories potentially created on remote AFP share
-# Directories potentially created on remote AFP share
+.AppleDB
-.AppleDB
+.AppleDesktop
-.AppleDesktop
+Network Trash Folder
-Network Trash Folder
+Temporary Items
-Temporary Items
+.apdisk
 .apdisk
@@ -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
Author	SHA1	Message	Date
Walter Purcaro	a9e40e4cfe	Merge `71823a71a3` into `b4105e73e4`	2026-02-13 22:18:27 +00:00
Walter Purcaro	71823a71a3	Merge branch 'main' into patch-3	2025-09-17 18:34:18 +02:00
Walter Purcaro	256998a92d	Fix macOS rule for Icon file exclusion	2022-07-07 14:59:22 +02:00
`@@ -1,2 +1,2 @@`
	`*.agdai`	`*.agdai`
	`/MAlonzo/`	`MAlonzo/**`
		`@@ -1,2 +0,0 @@`
			`# cache and other artifacts produced by Lean's Lake build tool`
			`.lake/`