rm mirage files that leaked into this branch

inhabitedtype · Apr 19, 2019 · 4738cd5 · 4738cd5
1 parent a646439
commit 4738cd5
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 224 deletions.
diff --git a/examples/mirage/.mirage.config b/examples/mirage/.mirage.config
diff --git a/examples/mirage/Makefile b/examples/mirage/Makefile
diff --git a/examples/mirage/httpaf_unikernel b/examples/mirage/httpaf_unikernel
diff --git a/examples/mirage/key_gen.ml b/examples/mirage/key_gen.ml
diff --git a/examples/mirage/main.ml b/examples/mirage/main.ml
diff --git a/examples/mirage/mirage-unikernel-httpaf_unikernel-unix.opam b/examples/mirage/mirage-unikernel-httpaf_unikernel-unix.opam
diff --git a/examples/mirage/myocamlbuild.ml b/examples/mirage/myocamlbuild.ml