aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarvin Borner2024-01-21 12:32:30 +0100
committerMarvin Borner2024-01-21 12:32:30 +0100
commit95e390fa271a0b911a5e0475f24f2fee55f3edec (patch)
treec7e35d975f0a7f3a0fe24110a3fa9ec7e3cfd8cd /.gitignore
parent076d528bfaa55b71f9653c0579723ff565db5e7f (diff)
Configurable minimum tree sizeHEADmain
For cool optimizer in blocade, hint hint :)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions