diff options
| author | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2018-08-19T22·51+0300 |
|---|---|---|
| committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2018-08-19T22·51+0300 |
| commit | 458282be5946318086b74dfa5aedb91e6f0477aa (patch) | |
| tree | 7e7c36e7a6ade8866183616604cc9b89064ffe66 /doc/manual | |
| parent | cc7b4386b16885a22ccabb019381539fecb00230 (diff) | |
Drop all references to --disable-init-state
It's all dead code since 2014 (commit 0c6d62cf27b3b2).
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions