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/license.html | |
parent | 7ffa70327dffd0acfd27f476313c5a92a17448c6 (diff) |
Diffstat (limited to 'user_guide/license.html')
-rw-r--r-- | user_guide/license.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide/license.html b/user_guide/license.html index 8150140e8..e0875555b 100644 --- a/user_guide/license.html +++ b/user_guide/license.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() {
|