diff options
| author | Brian Carlstrom <bdc@google.com> | 2015-01-08 08:24:06 -0800 |
|---|---|---|
| committer | Brian Carlstrom <bdc@google.com> | 2015-01-08 09:27:15 -0800 |
| commit | 2270795fbe0b277bfd49f40950ecaa78583175cc (patch) | |
| tree | 9ac962825d41c4fb8ad1ec0fc2e8b441b42d3869 /docs/manual/index.html | |
| parent | 9961286c06c25cd03464d3e2b00bd9b9dedf96ba (diff) | |
| download | android_external_proguard-2270795fbe0b277bfd49f40950ecaa78583175cc.tar.gz android_external_proguard-2270795fbe0b277bfd49f40950ecaa78583175cc.tar.bz2 android_external_proguard-2270795fbe0b277bfd49f40950ecaa78583175cc.zip | |
Upgrade Proguard to 5.1.
Downloaded from:
http://sourceforge.net/projects/proguard/files/proguard/5.1/
Bug: 17550647
Change-Id: I2b4eab16eb7821fc232b294ab7f433aae08f71e1
Diffstat (limited to 'docs/manual/index.html')
| -rw-r--r-- | docs/manual/index.html | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/docs/manual/index.html b/docs/manual/index.html index 643a216..da93361 100644 --- a/docs/manual/index.html +++ b/docs/manual/index.html @@ -5,17 +5,6 @@ <meta http-equiv="content-style-type" content="text/css"> <link rel="stylesheet" type="text/css" href="style.css"> <title>ProGuard Manual</title> -<script type="text/javascript" language="JavaScript"> -<!-- -if (window.self==window.top) - window.top.location.replace("../index.html#"+window.location.pathname+window.location.hash); -else { - var hash="#"+window.location.pathname.replace(window.top.location.pathname.replace("index.html", ""), ""); - if (window.top.location.hash!=hash) - window.top.location.hash=hash; -} -//--> -</script> </head> <body> @@ -45,8 +34,8 @@ else { <hr /> <noscript><div><a target="_top" href="../index.html" class="button">Show menu</a></div></noscript> <address> -Copyright © 2002-2013 -<a target="other" href="http://www.lafortune.eu/">Eric Lafortune</a>. +Copyright © 2002-2014 +<a target="other" href="http://www.lafortune.eu/">Eric Lafortune</a> @ <a target="top" href="http://www.saikoa.com/">Saikoa</a>. </address> </body> </html> |