Make ignore-pattern a closure
authorSiraaj Khandkar <siraaj@khandkar.net>
Mon, 26 Nov 2018 05:47:32 +0000 (00:47 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Mon, 26 Nov 2018 05:47:32 +0000 (00:47 -0500)
commit9d01fa28f425150b98f7759d6ff6dd646a41e41a
tree72323e00a92b71b35a368fbf093352b0673ddcd3
parent389dccafe4b8d3353db36f0cab3de5b9ea8de9ce
Make ignore-pattern a closure
dups.ml
This page took 0.016208 seconds and 4 git commands to generate.