diff options
| author | Alasdair Armstrong | 2020-10-21 14:23:54 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-21 14:23:54 +0100 |
| commit | 75d5ec609a78a32e63027c66ad43a67d248a4983 (patch) | |
| tree | 2c2d86a21d567d613ea38addeba940605758e567 /sailcov/main.ml | |
| parent | fec8305037e566c2516bbe83cca570fadafce5fc (diff) | |
| parent | 28e18d39774079c9434439b35d967cb352ef41c8 (diff) | |
Merge pull request #106 from jrtc27/latex-abbrevs-spacing
latex: Guard abbreviations with \@
Diffstat (limited to 'sailcov/main.ml')
0 files changed, 0 insertions, 0 deletions