aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@funktory.com>2025-12-02 14:19:04 +0100
committerMikolaj Konarski <mikolaj.konarski@funktory.com>2025-12-02 14:19:04 +0100
commita7b64fe342524e82194d73af852b5f2f1bc5bab3 (patch)
tree73fb2b9484d33e7400e92a67388227a75adf56c9 /.gitignore
parent9f47aa6a2bcd772388a5d5150ca7254e4eb95bc2 (diff)
Generalize also mgenerate to potentially avoid @fmap fromIntegral@mgenerate-integral
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions