diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-10-13 23:35:42 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-10-13 23:36:25 -0700 |
| commit | 7312e36104f99f32ad44e36cbba948bd60a1848a (patch) | |
| tree | c6878dfff05d7678bc4644c9305b1d72fdfa609d /.github | |
| parent | e26c8eca6981200625de138dfb396048fa188e1a (diff) | |
Extensions: simpler implementation based on Set.
This implementation would allow us (if we wanted) to add
an extensible Ext_custom Text constructor.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions