balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'ignore-union-find' into 'dev'

Browse Source 
Suppress some UnionFind noise

See merge request
This commit is contained in:
Christian Rinderknecht 2020-01-12 15:44:52 +00:00
commit f91955b299
2 changed files with 1 additions and 5 deletions
vendors/UnionFind
.gitignoredune

1
vendors/UnionFind/.gitignore vendored Normal file

@ -0,0 +1 @@
*.install

5
vendors/UnionFind/dune vendored

@ -4,8 +4,3 @@
(wrapped false)
(modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)
(modules_without_implementation Partition))
(test
(modules PartitionMain)
(libraries UnionFind)
(name PartitionMain))