diff options
| author | Alasdair Armstrong | 2020-09-27 02:10:37 +0100 |
|---|---|---|
| committer | GitHub | 2020-09-27 02:10:37 +0100 |
| commit | b73aaf6d7209d693e295abcc499fa2f759cb877e (patch) | |
| tree | d9ede8241219029de255b4ccd9f29f473e711495 /src/parser_combinators.ml | |
| parent | 70221a666d5106cfdc5991e2fa13636c73cac042 (diff) | |
| parent | e6dadf146f699a7ac28228659832d31100861d17 (diff) | |
Merge pull request #94 from jrtc27/latex-custom-label
Wrap saildoc LaTeX in \saildoclabelled macro
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions