diff options
| author | Alasdair Armstrong | 2019-01-21 19:02:46 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-21 19:02:55 +0000 |
| commit | 2c81fff611c458fe04b2de2045247bdc77f8f80a (patch) | |
| tree | d2d47805a63c86e2947fd00f1816e8e30c5b8748 /manual.pdf | |
| parent | 07cf22289b1b4bb2300d4670573a7faee7211a04 (diff) | |
Update manual snapshot and add basic sail -latex documentation
Diffstat (limited to 'manual.pdf')
| -rw-r--r-- | manual.pdf | bin | 338261 -> 347844 bytes |
1 files changed, 0 insertions, 0 deletions
| Binary files differ |