diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-09-05 15:31:54 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-09-05 15:31:54 -0400 |
| commit | 04c8fb0362dc4f922c1e96ca01fb87a3e8e74214 (patch) | |
| tree | a5a65a625a9b697ac6875874b9b4c04abd3d0a65 /examples | |
| parent | 391c1b6bde0d5fd6f306f9613109e18ec487afe7 (diff) | |
Replace $Type with Type$info for builtin TypeInfos
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions