diff options
| author | Eduardo Julian | 2023-01-13 22:11:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2023-01-13 22:11:05 -0400 |
| commit | 0f9f87286acacb520aa3ab0252131e109184b4cb (patch) | |
| tree | 69b21f7466ef4418ee6e696998dda0fcb78d26e3 /documentation/bookmark/user_interface/animation.md | |
| parent | 03eb09c1e0c6de32e45579a1adaf58c9046e632f (diff) | |
Better formatting for types & symbols for compilation logging.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions