diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-08-14 12:27:19 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-14 12:27:19 -0700 |
commit | fcbc13e8dbdd934e02299ca31f001f95fcfdb45c (patch) | |
tree | e64f37713e433f6fb8b26c9f59a86d395f5dd8cb /src/hyper/pages/HTXFormatTopPage.ht | |
parent | 03bd43a9cd709a46cfa5785173ef8884f109c2b4 (diff) | |
parent | 988f87a691af3c38ac6773b8c77b9a60d39f6aba (diff) | |
download | open-axiom-fcbc13e8dbdd934e02299ca31f001f95fcfdb45c.tar.gz |
Merge pull request #13 from GabrielDosReis/gdr/rename-Dynamic-to-Boxed
Rename `Dynamic` to `Boxed`
Diffstat (limited to 'src/hyper/pages/HTXFormatTopPage.ht')
0 files changed, 0 insertions, 0 deletions