| commit | c75a8e98974bbd1fa55ffce36fffd6e09730deef | |
| author | Lucian Wischik <ljw@fb.com> | |
| Thu, 6 Aug 2020 23:55:29 +0000 (6 16:55 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 7 Aug 2020 00:03:37 +0000 (6 17:03 -0700) | ||
| tree | 229fb150886226506f664ec4e5685c1cd27a3484 | treesnapshot (tar.gz zip) |
| parent | 39fda084bcf8a917a26562e82bae8c0312aca375 | commitdiff |
Remove Exit_status.exit
Summary: This just removes Exit_status.exit. Everything has already been switched over to Exit.exit.
Reviewed By: 2BitSalute
Differential Revision: D22931769
fbshipit-source-id: 8a989bcc6c37960ba07e17c69633d1fa1905fa6c
Summary: This just removes Exit_status.exit. Everything has already been switched over to Exit.exit.
Reviewed By: 2BitSalute
Differential Revision: D22931769
fbshipit-source-id: 8a989bcc6c37960ba07e17c69633d1fa1905fa6c
| hphp/hack/src/utils/core/exit_status.ml | diffblobblamehistory | |
| hphp/hack/src/utils/core/exit_status.mli | diffblobblamehistory |