tree 78c0c5262f9366068387bf4d359044e8e8dfc08a
parent 068c16410c464b1c7955eaf4fd34f66061811d1c
author Siva Chandra Reddy <sivachandra@google.com> 1599676094 -0700
committer Copybara-Service <copybara-worker@google.com> 1603997166 -0700

[libc][MPFRWrapper] Provide a way to include MPFR header in downstream repos.

Reviewed By: asteinhauser

Differential Revision: https://reviews.llvm.org/D87412

GitOrigin-RevId: fb542b0b8c209b05ba3100baf01718961e30fc26