diff options
Diffstat (limited to 'docs/manual/developer/modules.html.en')
| -rw-r--r-- | docs/manual/developer/modules.html.en | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/developer/modules.html.en b/docs/manual/developer/modules.html.en index bc017ef5c6..66759f78c3 100644 --- a/docs/manual/developer/modules.html.en +++ b/docs/manual/developer/modules.html.en @@ -9,7 +9,7 @@ <link href="../style/css/manual.css" rel="stylesheet" media="all" type="text/css" title="Main stylesheet" /> <link href="../style/css/manual-loose-100pc.css" rel="alternate stylesheet" media="all" type="text/css" title="No Sidebar - Default font size" /> <link href="../style/css/manual-print.css" rel="stylesheet" media="print" type="text/css" /><link rel="stylesheet" type="text/css" href="../style/css/prettify.css" /> -<script src="../style/scripts/prettify.js" type="text/javascript"> +<script src="../style/scripts/prettify.min.js" type="text/javascript"> </script> <link href="../images/favicon.ico" rel="shortcut icon" /></head> |