commit | 2cd296da38531805e6a01808f18c7ae118d2a081 | [log] [tgz] |
---|---|---|
author | Johannes Doerfert <johannes@jdoerfert.de> | Mon Nov 27 10:05:52 2023 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Mon Nov 27 11:10:44 2023 -0800 |
tree | b9233dd3301b270aa43eef5555ba748852d51e50 | |
parent | 8b641f370e06cd83ca11edd1c4fddb73b33f2af6 [diff] |
[OpenMP][NFC] Remove unused (un)register_lib plugin API These APIs have not been hooked up for a while. No need to carry them. GitOrigin-RevId: 9c33bf62a7f1047e96d9da702baf0d436980fb34