diff options
| author | Robert Norton | 2018-07-09 14:50:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-09 14:57:20 +0100 |
| commit | 8139ae498b4809833394b3e0548757426ff912cc (patch) | |
| tree | ef6e8bd7985ab1d921b4a74f5b769281e2466b13 /doc/usage.tex | |
| parent | d829021b5f64d3c6b4ad39c69a5f36475d8e7071 (diff) | |
Support building an anonymised version of manual. Fix sail example in manual. Remove incomplete types chapter from manual per AA's recommendation.
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions