diff options
Diffstat (limited to 'html/haddock-util.js')
| -rw-r--r-- | html/haddock-util.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/html/haddock-util.js b/html/haddock-util.js index 326a64b9..372fd0e8 100644 --- a/html/haddock-util.js +++ b/html/haddock-util.js @@ -136,7 +136,6 @@ function setSynopsis(filename) { if (parent.window.synopsis) { parent.window.synopsis.location = filename; } - resetStyle(); // ugly: we are using setSynopsis as a hook! } |