diff options
| author | Guillaume Melquiond | 2015-02-10 23:04:29 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-10 23:04:29 +0100 |
| commit | 9bbf64143da7c29a3b7b1bf84a70f887e1e8aa63 (patch) | |
| tree | d2df954fdaa0ab3ed178da3cc5476d45a9323f6c /dev/include | |
| parent | 1a6ba78c90610b3768a2eaf4594a8caa06e7772d (diff) | |
Avoid html markup inside tex files and fix url.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions