diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2016-01-19 00:11:38 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2016-01-19 00:11:38 +0100 |
| commit | 89eac211dbe062b18e3bc25dd4317d4469078c77 (patch) | |
| tree | 6980af772d179bac9f65f005ecc920f1cd683ee9 /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 695cb7fecc511e51ceded125dbba276a89a4d86b (diff) | |
Make sure --mathjax affects all written HTML files
This fixes #475.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions