diff options
| author | admin <devnull@localhost> | 2006-09-27 23:07:02 +0200 |
|---|---|---|
| committer | admin <devnull@localhost> | 2006-09-27 23:07:02 +0200 |
| commit | 2296fc3ca61b689a2a486d1d39346424c069dc25 (patch) | |
| tree | 03ea6cd9898800a300425897bd74462d98c8ddc8 /user_guide/index.html | |
| parent | 7ffa70327dffd0acfd27f476313c5a92a17448c6 (diff) | |
Diffstat (limited to 'user_guide/index.html')
| -rw-r--r-- | user_guide/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide/index.html b/user_guide/index.html index a2887e444..7be18b17c 100644 --- a/user_guide/index.html +++ b/user_guide/index.html @@ -8,7 +8,7 @@ <link rel='stylesheet' type='text/css' media='all' href='userguide.css' />
<script type="text/javascript" src="nav/nav.js"></script>
-<script type="text/javascript" src="scripts/prototype.lite.js"></script>
+<script type="text/javascript" src="nav/prototype.lite.js"></script>
<script type="text/javascript" src="nav/moo.fx.js"></script>
<script type="text/javascript">
window.onload = function() {
|