Closed jwnimmer-tri closed 3 months ago
+@rpoyner-tri for both reviews, please. The related Drake PR is linked in the description above.
Note that since this is only adding files, we can merge this PR anytime -- we don't need to sync the merging with the other PR concurrently.
This were copied from Drake as of
665721e9
.Twin PR: https://github.com/RobotLocomotion/drake/pull/21184
This change is![Reviewable](https://reviewable.io/review_button.svg)