commit | d80cc396b22177fae396e6489543a7c975fbe9a6 | [log] [tgz] |
---|---|---|
author | Johannes Doerfert <johannes@jdoerfert.de> | Wed Nov 29 08:29:41 2023 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Wed Nov 29 08:31:11 2023 -0800 |
tree | db035ce3d1549d73662d6d899613973bc62c0d75 | |
parent | 7f9acfe55ecb63ec6ecdb1847d5cc8281f344f66 [diff] |
[OpenMP][NFC] Move OMPT headers into OpenMP/OMPT (#73718) GitOrigin-RevId: e2299e8d9d99ed1e5315b767a8dd5790967ef485