[disjoint] move main file to detail/disjoint/interface.hpp

This commit is contained in:
Menelaos Karavelas
2014-05-21 17:14:56 +03:00
parent e3512fc622
commit b6522c4e74