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
7 changed files with 33 additions and 44 deletions

No files matched your search

+1 -1
View File
@@ -1,2 +1,2 @@
*.agdai
**/MAlonzo/**
MAlonzo/**
+6 -6
View File
@@ -49,14 +49,14 @@ CMakeFiles/
CMakeCache.txt
cmake_install.cmake
Makefile
install_manifest.txt
install_manifest.txt
compile_commands.json
# Temporary files
*.tmp
*.log
*.bak
*.swp
*.tmp
*.log
*.bak
*.swp
# vcpkg
vcpkg_installed/
@@ -66,4 +66,4 @@ vcpkg_installed/
# test output & cache
Testing/
.cache/
.cache/
+25 -26
View File
@@ -1,26 +1,25 @@
# General
.DS_Store
.localized
__MACOSX/
.AppleDouble
.LSOverride
Icon[␍]
# Thumbnails
._*
# Files that might appear in the root of a volume
.DocumentRevisions-V100
.fseventsd
.Spotlight-V100
.TemporaryItems
.Trashes
.VolumeIcon.icns
.com.apple.timemachine.donotpresent
# Directories potentially created on remote AFP share
.AppleDB
.AppleDesktop
Network Trash Folder
Temporary Items
.apdisk
# General
.DS_Store
__MACOSX/
.AppleDouble
.LSOverride
Icon[\r]
# Thumbnails
._*
# Files that might appear in the root of a volume
.DocumentRevisions-V100
.fseventsd
.Spotlight-V100
.TemporaryItems
.Trashes
.VolumeIcon.icns
.com.apple.timemachine.donotpresent
# Directories potentially created on remote AFP share
.AppleDB
.AppleDesktop
Network Trash Folder
Temporary Items
.apdisk
-2
View File
@@ -1,2 +0,0 @@
# cache and other artifacts produced by Lean's Lake build tool
.lake/
+1 -1
View File
@@ -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
-3
View File
@@ -4,6 +4,3 @@ result-*
# Ignore automatically generated direnv output
.direnv
# Ignore NixOS interactive test driver history
**/.nixos-test-history
-5
View File
@@ -75,11 +75,6 @@ acs-*.bib
# comment
*.cut
# context
*.tuc
*.tui
*.tuo
# cprotect
*.cpt