pde-engine/.gitignore at main · PimDeWitte/pde-engine · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
# -----------------------------------------------------------
# Python ignores
# -----------------------------------------------------------

# Byte-compiled / optimized / DLL files
__pycache__/
*.py[cod]
*$py.class

# C extensions
*.so

# Distribution / packaging
.Python
build/
develop-eggs/
dist/
*.egg-info/
.installed.cfg
*.egg
MANIFEST

# Installer logs
pip-log.txt
pip-delete-this-directory.txt

# Virtual environment
venv/
env/
.venv/
.tox/

# Editors and IDEs
# VS Code
.vscode/
# JetBrains IDEs (e.g., PyCharm)
.idea/

# OS-specific
.DS_Store
Thumbs.db

# Misc
*.log
*.sqlite3
.env
.env.*

# -----------------------------------------------------------
# Lean ignores
# -----------------------------------------------------------

# Lake build outputs and dependencies
build/
.lake/
lake-packages/

# Lean compiler intermediate files
*.olean
*.trace
*.ast

# Lean project cache files
lean-toolchain