Public Git Hosting - hiphop-php.git/commit

commit	1fb5b3029f708232d18a4b6761e40994d9417be0
author	Wilfred Hughes <wilfred@fb.com>
	Tue, 8 Dec 2020 20:15:34 +0000 (8 12:15 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 8 Dec 2020 20:23:48 +0000 (8 12:23 -0800)
tree	99381216e5c34c625ce76085175ec5d7ea0b1b57	tree \| snapshot (tar.gz zip)
parent	95a9c0521b0db91e356224687162bf8a28ff4863	commit \| diff

Remove obsolete coroutine typechecker options

Summary: Coroutines have been removed, so these options are unnecessary.

Differential Revision: D25375906

fbshipit-source-id: 82269307e425569e972a22f3b672c15f571ff6f8

RSS Atom

hphp/hack/src/options/globalOptions.ml		diff \| blob \| blame \| history
hphp/hack/src/options/globalOptions.mli		diff \| blob \| blame \| history
hphp/hack/src/options/typecheckerOptions.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverConfig.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverConfig.mli		diff \| blob \| blame \| history