diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 00:01:38 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:23:32 +0200 |
| commit | fd4ab1df3c55ea29e984d934f482bf9cc1966c9d (patch) | |
| tree | dc5af9240a2748828d0b02b2045484cd1378dd27 /obsolete | |
| parent | 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 (diff) | |
Add link to the latex-pretty-symbols package mentioned by @craff
Fix the typo reported by @siddharthist as well
Diffstat (limited to 'obsolete')
0 files changed, 0 insertions, 0 deletions