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/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/download-edge-none.html')
| -rw-r--r-- | website/download-edge-none.html | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/website/download-edge-none.html b/website/download-edge-none.html deleted file mode 100644 index 07091b90..00000000 --- a/website/download-edge-none.html +++ /dev/null @@ -1,54 +0,0 @@ -<!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> |