move marshal_tools to its own directory
commitbc4ac37fd040646e9e2820f83224c0cff9719383
authorMarshall Roch <mroch@fb.com>
Fri, 28 Jun 2019 04:33:27 +0000 (27 21:33 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 28 Jun 2019 04:40:26 +0000 (27 21:40 -0700)
treeb44e487bcaf91ee5a5d66d698cbda2ef42e85f48
parent25f2e38550cc921e3613b24fc35820e4f0f6861f
move marshal_tools to its own directory

Reviewed By: vsiles

Differential Revision: D16023898

fbshipit-source-id: d3b0981d0806aa6698c16a654955c7e2f61b57ff
hphp/hack/src/utils/dune
hphp/hack/src/utils/marshal_tools/dune [new file with mode: 0644]
hphp/hack/src/utils/marshal_tools/marshal_tools.ml [moved from hphp/hack/src/utils/marshal_tools.ml with 100% similarity]
hphp/hack/src/utils/marshal_tools/marshal_tools.mli [moved from hphp/hack/src/utils/marshal_tools.mli with 100% similarity]
hphp/hack/src/utils/marshal_tools/marshal_tools_lwt.ml [moved from hphp/hack/src/utils/marshal_tools_lwt.ml with 100% similarity]
hphp/hack/src/utils/marshal_tools/marshal_tools_lwt.mli [moved from hphp/hack/src/utils/marshal_tools_lwt.mli with 100% similarity]