Merge pull request mirage#94 from samoht/master

Remove the irmin+mirage custom release
RyanGibb · Aug 20, 2015 · 444dec6 · 444dec6
2 parents 46c0d73 + b86c422
commit 444dec6
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 42 deletions.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -36,13 +36,3 @@ make build
 make clean
 make configure MODE=xen
 make build MODE=xen
-
-#### TMP: irmin + xen
-
-git clone git://github.com/samoht/mirmin
-(cd mirmin/git && \
-    mirage configure --xen && \
-    make )
-(cd mirmin/irmin && \
-    mirage configure --xen && \
-    make )
diff --git a/packages/mirage/mirage.2.6.0/opam b/packages/mirage/mirage.2.6.0/opam
diff --git a/packages/mirage/mirage.2.6.0/url b/packages/mirage/mirage.2.6.0/url