Public Git Hosting - hiphop-php.git/commit

commit	76b2b7d8879e9f09b80d5dbba1626f818560e67b
author	Gabe Levi <gabe@fb.com>
	Fri, 23 Mar 2018 18:27:01 +0000 (23 11:27 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Fri, 23 Mar 2018 18:33:25 +0000 (23 11:33 -0700)
tree	cb5a41e89359a4840faeba3fef987bd5f1029e25	tree \| snapshot (tar.gz zip)
parent	a1440009f746a43cc1b007fd6fbe2d15310d0b42	commit \| diff

Enable warnings in dfind

Reviewed By: mroch

Differential Revision: D7336728

fbshipit-source-id: 3337e9caa210fca73b489e7f9f881a93c2c8992e

hphp/hack/src/dfind/dfindAddFile.ml		diff \| blob \| blame \| history
hphp/hack/src/dfind/dfindMaybe.ml		diff \| blob \| blame \| history