diff options
author | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
commit | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (patch) | |
tree | d7f57f5d62ddb58fceec0a827b0047ed70833841 /stdlib/source/specification | |
parent | ab99de20a3d0566a71bf0ef607d9d6e291d7f62a (diff) |
Re-branded "abstract" types as "primitive" types.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions