diff options
| author | Eric Wong <e@80x24.org> | 2019-11-15 09:50:47 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-11-16 11:05:23 +0000 |
| commit | 2bfd01ebe2c4adfda265a71fee40ac9d8397e11c (patch) | |
| tree | d7dba992fa4698a38e6bb3b2dd3947ed7ecbf67e /INSTALL | |
| parent | 204626589e05d0288cdf232daffc511b01c63576 (diff) | |
| download | public-inbox-2bfd01ebe2c4adfda265a71fee40ac9d8397e11c.tar.gz | |
Not taking advantage of faster run modes in run_script, yet since some lifetime problems need to be sorted.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions