Public Git Hosting - hiphop-php.git/commit

commit	f8e9ab3caf435d45748bb0b15f4d74b6327d3832
author	Arun Kumar <arkumar@fb.com>
	Fri, 25 Oct 2019 13:09:27 +0000 (25 06:09 -0700)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Fri, 25 Oct 2019 13:11:33 +0000 (25 06:11 -0700)
tree	ddece277ca313990651dbb80773573291be96c54	tree \| snapshot (tar.gz zip)
parent	459ceafb0f31ff4b1d523bd522e085838059b70d	commit \| diff

Delete unused is_decimal_int

Reviewed By: Wilfred

Differential Revision: D18135858

fbshipit-source-id: 5ee21fb9bdd60410dcd15ce565d0a8c617c2d426