aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
diff options
context:
space:
mode:
authorGabriel Dos Reis <GabrielDosReis@users.noreply.github.com>2022-08-14 12:27:19 -0700
committerGitHub <noreply@github.com>2022-08-14 12:27:19 -0700
commitfcbc13e8dbdd934e02299ca31f001f95fcfdb45c (patch)
treee64f37713e433f6fb8b26c9f59a86d395f5dd8cb /config/open-axiom.m4
parent03bd43a9cd709a46cfa5785173ef8884f109c2b4 (diff)
parent988f87a691af3c38ac6773b8c77b9a60d39f6aba (diff)
downloadopen-axiom-fcbc13e8dbdd934e02299ca31f001f95fcfdb45c.tar.gz
Merge pull request #13 from GabrielDosReis/gdr/rename-Dynamic-to-Boxed
Rename `Dynamic` to `Boxed`
Diffstat (limited to 'config/open-axiom.m4')
0 files changed, 0 insertions, 0 deletions