diff options
| author | Robert Norton | 2018-05-02 10:39:26 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-09 16:58:19 +0100 |
| commit | 3f472931d1f0d003c729d591b13619376ea93cf3 (patch) | |
| tree | b6c61df2aa750d6a6562b0e99a450b0781a7805f /doc/types.tex | |
| parent | 9efeea3c2179a182feb07c6b4e640674f149331f (diff) | |
Remove start and end markers that are no longer needed now that sail has latex output.
Diffstat (limited to 'doc/types.tex')
0 files changed, 0 insertions, 0 deletions