aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-11-21 14:22:27 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2016-11-21 14:22:27 +0100
commit5c2da477be3d36de01ba9db32cdd4603d31662d1 (patch)
treeb31ecc78d8334ac174ef1cc2a691010cc38a7624
parentf79a15c1c3c1595fdb16215509b3fb4a88672e90 (diff)
Rebuild with branch with fix for \dots argument
-rw-r--r--docs/reference/print.mkinmod.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/print.mkinmod.html b/docs/reference/print.mkinmod.html
index dae4be0a..d63694d7 100644
--- a/docs/reference/print.mkinmod.html
+++ b/docs/reference/print.mkinmod.html
@@ -108,7 +108,7 @@
<dd>
An <code><a href='mkinmod.html'>mkinmod</a></code> object.
</dd>
- <dt>&amp;#8230;</dt>
+ <dt>&#8230;</dt>
<dd>
Not used.
</dd>

Contact - Imprint