Moved all ppx_let files from third-party git repository to src/ppx_let

2019-04-19 12:25:24 +02:00 · 2019-04-19 12:25:24 +02:00 · 9942e5677d
commit 9942e5677d
parent abe8126151
19 changed files with 4 additions and 0 deletions
--- a/src/ppx_let/.gitignore
+++ b/src/ppx_let/.gitignore
--- a/src/ppx_let/CHANGES.md
+++ b/src/ppx_let/CHANGES.md
--- a/src/ppx_let/CONTRIBUTING.md
+++ b/src/ppx_let/CONTRIBUTING.md
--- a/src/ppx_let/CREDITS
+++ b/src/ppx_let/CREDITS
@ -0,0 +1,4 @@
+This folder contains a generalization of ppx_let from Jane Street.
+See git log this_folder for the development history.
+
+https://github.com/janestreet/ppx_let.git
--- a/src/ppx_let/LICENSE.md
+++ b/src/ppx_let/LICENSE.md
--- a/src/ppx_let/Makefile
+++ b/src/ppx_let/Makefile
--- a/src/ppx_let/README.md
+++ b/src/ppx_let/README.md
--- a/src/ppx_let/dune
+++ b/src/ppx_let/dune
--- a/src/ppx_let/dune-project
+++ b/src/ppx_let/dune-project
--- a/src/ppx_let/expander/dune
+++ b/src/ppx_let/expander/dune
--- a/src/ppx_let/expander/ppx_let_expander.ml
+++ b/src/ppx_let/expander/ppx_let_expander.ml
--- a/src/ppx_let/expander/ppx_let_expander.mli
+++ b/src/ppx_let/expander/ppx_let_expander.mli
--- a/src/ppx_let/ppx_let.opam
+++ b/src/ppx_let/ppx_let.opam
--- a/src/ppx_let/src/dune
+++ b/src/ppx_let/src/dune
--- a/src/ppx_let/src/ppx_let.ml
+++ b/src/ppx_let/src/ppx_let.ml
--- a/src/ppx_let/src/ppx_let.mli
+++ b/src/ppx_let/src/ppx_let.mli
--- a/src/ppx_let/test/dune
+++ b/src/ppx_let/test/dune
--- a/src/ppx_let/test/test-locations.mlt
+++ b/src/ppx_let/test/test-locations.mlt
--- a/src/ppx_let/test/test.ml
+++ b/src/ppx_let/test/test.ml