| commit | 5980367ca22a2076096c5bcf9ea13eb778e7c0cc | |
| author | Thomas Jiang <thomasjiang@fb.com> | |
| Wed, 2 Oct 2019 17:12:31 +0000 (2 10:12 -0700) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 2 Oct 2019 17:14:33 +0000 (2 10:14 -0700) | ||
| tree | 7c12148e7e6c9bd59eae23d1296381f6e62887a9 | treesnapshot (tar.gz zip) |
| parent | 06dc9cc6aca7fce0d90c86bd91a660aabf382d85 | commitdiff |
Remove unused elaborate_def
Summary: Elaborate def is unused. Remove it from the interface
Reviewed By: kmeht
Differential Revision: D17704085
fbshipit-source-id: a3f3bbc726cc1075f3451ff37e77bac1f7c8e807
Summary: Elaborate def is unused. Remove it from the interface
Reviewed By: kmeht
Differential Revision: D17704085
fbshipit-source-id: a3f3bbc726cc1075f3451ff37e77bac1f7c8e807
| hphp/hack/src/parser/namespaces.ml | diffblobblamehistory | |
| hphp/hack/src/parser/namespaces.mli | diffblobblamehistory |