diff options
| author | Reinier Zwitserloot <reinier@tipit.to> | 2009-12-21 14:26:47 +0100 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-12-21 14:26:47 +0100 |
| commit | abddcc412e7299cc79475a08ac54af5d787c9eb5 (patch) | |
| tree | 18d33e6c1036d7220f51e93684c6aecee9d0c7d9 /website | |
| parent | b829c0f8f1f1bf781fe3e9c093721f20c1cb2881 (diff) | |
| download | lombok-abddcc412e7299cc79475a08ac54af5d787c9eb5.tar.gz lombok-abddcc412e7299cc79475a08ac54af5d787c9eb5.tar.bz2 lombok-abddcc412e7299cc79475a08ac54af5d787c9eb5.zip | |
download-edge is now overwritten (to say that the stable is the latest) upon a full release.
Diffstat (limited to 'website')
| -rw-r--r-- | website/download-edge-none.html | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/website/download-edge-none.html b/website/download-edge-none.html new file mode 100644 index 00000000..07091b90 --- /dev/null +++ b/website/download-edge-none.html @@ -0,0 +1,54 @@ +<!DOCTYPE html> +<html><head> + <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> + <link rel="stylesheet" type="text/css" href="logi/reset.css" /> + <link rel="shortcut icon" href="favicon.ico" type="image/x-icon" /> + <meta name="description" content="Spice up your java" /> + <title>Project Lombok - Cutting Edge build</title> + <style type="text/css"> + code { + font-size: 12px; + font-family: monospaced; + } + + #downloadLink { + font-size: 14px; + } + + .meat { + margin: 16px auto 0 auto; + width: 800px; + } + + .backLink { + padding-top: 100px; + width: 100%; + text-align: right; + } + + h1 { + padding-bottom: 0; + margin-bottom: 4px; + } + </style> +</head><body> + <div class="meat download edge"> + <h1>Download Lombok Cutting Edge build</h1> + <div class="versionInfo"> + No edge build as been released since the last <a href="download.html">stable release</a> of lombok. + </div> + <div class="backLink"> + <a href="index.html">back to the project homepage</a> + </div> + </div> + <script type="text/javascript"> + var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); + document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); + </script> + <script type="text/javascript"> + try { + var pageTracker = _gat._getTracker("UA-9884254-1"); + pageTracker._trackPageview(); + } catch(err) {} + </script> +</body></html> |