Public Git Hosting - hiphop-php.git/commit

commit	5950b79bcd923467f8b40e740968980a8ef23ab7
author	Vincent Siles <vsiles@fb.com>
	Tue, 21 Apr 2020 08:25:01 +0000 (21 01:25 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 21 Apr 2020 08:28:17 +0000 (21 01:28 -0700)
tree	10da9efac6fbde07762126dc119d8c1f98d04529	tree \| snapshot (tar.gz zip)
parent	4d6be92b9937096d98b9cc9cb83b666419f78694	commit \| diff

Add Hh_prelude to src/naming

Summary: What the topic says

Differential Revision: D21066455

fbshipit-source-id: 3aeea28a6c6dadaa690c00617d621604dd5ba4a7

hphp/hack/src/naming/naming_attributes_deprecated.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/naming_heap.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/naming_sqlite.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/naming_table.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/nast_eval.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/nast_eval.mli		diff \| blob \| blame \| history