| commit | fcda6e25b4f16d36ea0644d06278570eeac55dab | |
| author | Lucian Wischik <ljw@fb.com> | |
| Thu, 15 Jul 2021 23:10:59 +0000 (15 16:10 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 15 Jul 2021 23:13:09 +0000 (15 16:13 -0700) | ||
| tree | 8fff0c29ec589d9e8b84972168b05145892e9e12 | treesnapshot (tar.gz zip) |
| parent | abe1b7787d77af30ef141bd7c8dda4f2229d2e4d | commitdiff |
dead code - FileInfo.print_names
Summary: This function isn't used anywhere.
Reviewed By: dabek
Differential Revision: D29682633
fbshipit-source-id: 9f8a2683729f847a956ed63a35b4df485ed34bc8
Summary: This function isn't used anywhere.
Reviewed By: dabek
Differential Revision: D29682633
fbshipit-source-id: 9f8a2683729f847a956ed63a35b4df485ed34bc8
| hphp/hack/src/deps/fileInfo.ml | diffblobblamehistory | |
| hphp/hack/src/deps/fileInfo.mli | diffblobblamehistory |