diff options
| author | John Denker <jsd@av8n.com> | 2021-11-11 13:44:41 -0700 |
|---|---|---|
| committer | John Denker <jsd@av8n.com> | 2021-11-11 16:08:19 -0700 |
| commit | 22665704696c4c404142156217401cda5be697e6 (patch) | |
| tree | 753404b181866ef9b6c069a83e0bc25e8aed7398 /INSTALL.txt | |
| parent | 9745514c1833bee05ce0a2ee28cd92d62fd4a8dc (diff) | |
no longer any need to sort identifiers by length;
better to keep them in designed-in order
Diffstat (limited to 'INSTALL.txt')
0 files changed, 0 insertions, 0 deletions