| commit | e2c05c1c6ee2f430e92df57e7bd7bb5d3ba1dd2a | |
| author | Jake Bailey <jakebailey@fb.com> | |
| Wed, 18 Apr 2018 18:34:57 +0000 (18 11:34 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 18 Apr 2018 18:38:54 +0000 (18 11:38 -0700) | ||
| tree | 68ac454a74fbbee6a6212e49a4d05666c459a17e | treesnapshot (tar.gz zip) |
| parent | ec5efca81274da95ae4307477ea763e8f38fb885 | commitdiff |
Remove Naming_hooks
Summary: The last naming hook is no longer used, so we can remove the module.
Reviewed By: dlreeves
Differential Revision: D6813198
fbshipit-source-id: 3a7665736bc9c8ffc734e38c6dcd26dcc919e5fe
Summary: The last naming hook is no longer used, so we can remove the module.
Reviewed By: dlreeves
Differential Revision: D6813198
fbshipit-source-id: 3a7665736bc9c8ffc734e38c6dcd26dcc919e5fe
| hphp/hack/src/naming/naming.ml | diffblobblamehistory | |
| hphp/hack/src/naming/naming_hooks.ml | [deleted file] | blobblamehistory |