Public Git Hosting - hiphop-php.git/commit

commit	dc7a3ec4ca87b3f29a6a3eed6b0dead5fea5f43c
author	Vincent Siles <vsiles@fb.com>
	Mon, 15 Feb 2021 11:43:15 +0000 (15 03:43 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Mon, 15 Feb 2021 11:46:10 +0000 (15 03:46 -0800)
tree	69d2d22a174eb72afebeada3c8937f427ee03628	tree \| snapshot (tar.gz zip)
parent	359032a2c7c50c021c229831ddb23f43e1680eb5	commit \| diff

Removing pu related context no longer in us

Summary: I missed this bit of code when cleaning PU from the codebase, sorry

Reviewed By: madgen

Differential Revision: D26449322

fbshipit-source-id: 5b0a23c33a604df053b1799678dcc699f967df76

RSS Atom

hphp/hack/src/oxidized_by_ref/gen/typing_inference_env.rs		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_inference_env.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_inference_env.mli		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_log.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_log.mli		diff \| blob \| blame \| history