| commit | 011bee822d5169f8eb9665e04c60b44c50ed85e7 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Fri, 24 Jan 2020 01:48:43 +0000 (23 17:48 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 24 Jan 2020 01:59:06 +0000 (23 17:59 -0800) | ||
| tree | 24ed66e4fc042b23cc256fa4d4938af9c6fb250e | treesnapshot (tar.gz zip) |
| parent | ea0821bd278952e30348067867fa456d13c107ac | commitdiff |
remove unused hh_logger things
Summary: Minor diff to remove some unused things from Hh_logger. (in preparation for the next diff in the stack which adds new features).
Reviewed By: arxanas
Differential Revision: D19530873
fbshipit-source-id: 24953a7800ee7fb664435042375dcec1d505d684
Summary: Minor diff to remove some unused things from Hh_logger. (in preparation for the next diff in the stack which adds new features).
Reviewed By: arxanas
Differential Revision: D19530873
fbshipit-source-id: 24953a7800ee7fb664435042375dcec1d505d684
| hphp/hack/src/utils/core/hh_logger.ml | diffblobblamehistory | |
| hphp/hack/src/utils/core/hh_logger.mli | diffblobblamehistory |