Delete dead strings from base/strings.h
commit11df233f788ef4c672ddbfc4ecdd89a8dd5cf317
authorAlexey Toptygin <alexeyt@fb.com>
Thu, 3 Oct 2019 15:40:53 +0000 (3 08:40 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Thu, 3 Oct 2019 15:42:44 +0000 (3 08:42 -0700)
treea72ebfe124cb82bd1b7a33ae01fa6cf383d1258c
parent885b4c14bea3f8351f76ff919d1002bf98091d01
Delete dead strings from base/strings.h

Reviewed By: markw65

Differential Revision: D17733988

fbshipit-source-id: e6dca80ea760c8481fa0c4dbffaee9b7681f9631
hphp/runtime/base/strings.h