Merge cf8b54d020 into b4105e73e4

Update VirtualEnv.gitignore
2026-11-06 01:54:39 +01:00 · 2026-02-13 19:33:28 +00:00 · 2025-08-21 02:51:00 +01:00 · 2025-08-21 02:33:54 +01:00
7 changed files with 13 additions and 16 deletions
@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**
@@ -1,5 +1,16 @@
 # Virtualenv
 # https://realpython.com/python-virtual-environments-a-primer/#the-virtualenv-project
 .venv/
 venv/
 .python-version
 # pyenv: Simple Python Version Management
 pyvenv.cfg
 # pip: package installer for Python
 pip-selfcheck.json
 # Custom python interpreter
 .Python
 [Bb]in
 [Ii]nclude
@@ -7,6 +18,3 @@
 [Ll]ib64
 [Ll]ocal
 [Ss]cripts
 pyvenv.cfg
 .venv
 pip-selfcheck.json
@@ -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
Author	SHA1	Message	Date
Luís Pedro Algarvio	e7b4a910dd	Merge `cf8b54d020` into `b4105e73e4`	2026-02-13 19:33:28 +00:00
Luís Pedro Algarvio	cf8b54d020	Update VirtualEnv.gitignore	2025-08-21 02:51:00 +01:00
Luís Pedro Algarvio	add7cbcaad	Update VirtualEnv.gitignore Add extra rules	2025-08-21 02:33:54 +01: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/`