From f0dc427090d129d264ce77584200334adfa805d5 Mon Sep 17 00:00:00 2001 From: Drup Date: Fri, 13 Apr 2018 17:01:54 +0200 Subject: [PATCH] WIP. --- mustache/tymustache.ml | 1 - {mustache => ppx}/ppx_tyxml_mustache.ml | 0 2 files changed, 1 deletion(-) delete mode 100644 mustache/tymustache.ml rename {mustache => ppx}/ppx_tyxml_mustache.ml (100%) diff --git a/mustache/tymustache.ml b/mustache/tymustache.ml deleted file mode 100644 index 8b1378917..000000000 --- a/mustache/tymustache.ml +++ /dev/null @@ -1 +0,0 @@ - diff --git a/mustache/ppx_tyxml_mustache.ml b/ppx/ppx_tyxml_mustache.ml similarity index 100% rename from mustache/ppx_tyxml_mustache.ml rename to ppx/ppx_tyxml_mustache.ml