7 changed files with 83 additions and 18 deletions

No files matched your search

+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/
-1
View File
@@ -1,6 +1,5 @@
# General
.DS_Store
.localized
__MACOSX/
.AppleDouble
.LSOverride
-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
+76
View File
@@ -0,0 +1,76 @@
# Compiled class file
*.class
# Logs
*.log
logs/
# BlueJ files
*.ctxt
# Mobile Tools for Java (J2ME)
.mtj.tmp/
# Build
target/
build/
# Package Files #
*.jar
*.war
*.nar
*.ear
*.zip
*.tar.gz
*.rar
# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*
replay_pid*
# Maven
pom.xml.tag
pom.xml.releaseBackup
pom.xml.versionsBackup
pom.xml.next
release.properties
dependency-reduced-pom.xml
buildNumber.properties
.mvn/timing.properties
!.mvn/wrapper/maven-wrapper.jar
# Gradle
.gradle/
!gradle/wrapper/gradle-wrapper.jar
# IDEs
.idea/
*.iml
out/
.vscode/
# Eclipse
.classpath
.project
.settings/
# NetBeans
/nbproject/private/
/nbbuild/
/dist/
/nbdist/
/.nb-gradle/
# OS
.DS_Store
Thumbs.db
desktop.ini
# Temp
*.tmp
*.temp
# Env / secrets
.env
.env.local
.env.*.local
-5
View File
@@ -75,11 +75,6 @@ acs-*.bib
# comment
*.cut
# context
*.tuc
*.tui
*.tuo
# cprotect
*.cpt