diff options
| author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-05-08 21:28:02 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-05-29 21:02:54 +0200 |
| commit | 8b7a7cbc813653a3248d6cf3a7779e220957bc85 (patch) | |
| tree | b9acfb9d68c6866acc3cfb9ee59d72ff43f1ebc3 /website-old/download-edge-none.html | |
| parent | 72fd50b9f1db1ab6bfc1753ba6a1e686a2f0f22c (diff) | |
| download | lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.tar.gz lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.tar.bz2 lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.zip | |
The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’.
Diffstat (limited to 'website-old/download-edge-none.html')
| -rw-r--r-- | website-old/download-edge-none.html | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/website-old/download-edge-none.html b/website-old/download-edge-none.html new file mode 100644 index 00000000..07091b90 --- /dev/null +++ b/website-old/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> |