Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Time<Real> documentation improvement (#15874)
# Objective Fixes #15445 ## Solution Add a note to the doc comment for `Real`. ## Testing Viewed the built documentation. ## Showcase ![image](https://github.com/user-attachments/assets/815b8655-c632-4c92-b64e-28c06959c38b) [*possible bug in rustdoc rendering the footnote](rust-lang/rust#131631)
- Loading branch information