Public Git Hosting - hiphop-php.git/commit

commit	7208ca753cbff708a69dc3fdfcaefc09c107f363
author	Lucian Wischik <ljw@fb.com>
	Thu, 10 Feb 2022 14:46:19 +0000 (10 06:46 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 10 Feb 2022 14:50:15 +0000 (10 06:50 -0800)
tree	10865452a11f02fcba23b756857d403edb697545	tree \| snapshot (tar.gz zip)
parent	d7c08e81abf20a8851517badaa00e9ed18bb81a1	commit \| diff

delete xdb

Summary: This module isn't used anywhere.

Reviewed By: nt591

Differential Revision: D34096572

fbshipit-source-id: 3c2f438ea01542862fb56701485f279f1e940004

hphp/hack/src/stubs/dune		diff \| blob \| blame \| history
hphp/hack/src/stubs/logging/hackEventLogger.ml		diff \| blob \| blame \| history
hphp/hack/src/stubs/xdb.ml	[deleted file]	blob \| blame \| history
hphp/hack/test/unit/informant/informant_server_lifetime_test.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/informant/informant_test.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/informant/informant_test_tools.ml		diff \| blob \| blame \| history