Remove REPOS files.
They're no longer needed.
commiteb329377dbfb03cb89104a5621d6eaa7f4632fac
authorMathieu Boespflug <m@tweag.io>
dateMon 19 Oct 2015, 21:18 (11 years ago)
parentad3c132
REPOSdeleted−5
@@ -1,5 +0,0 @@
1−distributed-process-tests
2−distributed-static
3−network-transport
4−network-transport-tcp
5−rank1dynamic
distributed-process-tests/REPOSdeleted−5
@@ -1,5 +0,0 @@
1−rank1dynamic
2−distributed-static
3−network-transport
4−network-transport-tcp
5−distributed-process