Skip to content

Commit be5809d

Browse files
authored
Merge pull request #28 from kupl/optimization
Optimization
2 parents 4f83b9f + 7b3c0c7 commit be5809d

125 files changed

Lines changed: 1077 additions & 1246330 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,3 +27,7 @@ setup.log
2727

2828
# Local OPAM switch
2929
_opam/
30+
31+
backup_*
32+
33+
result/

0 commit comments

Comments
 (0)