diff options
| author | Alasdair Armstrong | 2020-09-28 14:24:21 +0100 |
|---|---|---|
| committer | GitHub | 2020-09-28 14:24:21 +0100 |
| commit | 551bca444eaf0acd97324c12005e9a8280437217 (patch) | |
| tree | f1dab8ac1a2444ec1c164f380ce0d217dc8b357f /src/specialize.ml | |
| parent | c79b2759fa85373d25c1d2d64c3599a5773a4c68 (diff) | |
| parent | 263ffca94d22e1ff7ce32d8f6ba782b0fcacd0d7 (diff) | |
Merge pull request #98 from arichardson/add-sectioning-commands
Handle sectioning commands in saildoc LaTeX output
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions