diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -5,6 +5,10 @@ __pycache__/ build/ dist/ *.egg-info/ +.env +.env.* +!.env.example +env runs/ surface-runs/ kernel-runs/ |
![]() |
index : gap-minimal-reproduction.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Ubuntu |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 4 |
@@ -5,6 +5,10 @@ __pycache__/ build/ dist/ *.egg-info/ +.env +.env.* +!.env.example +env runs/ surface-runs/ kernel-runs/ |