diff options
| author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-06-12 22:29:24 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-06-13 00:15:32 +0200 |
| commit | 9488c1c248569d91fa74ed9358baba7f175f02fa (patch) | |
| tree | 0e29dceb7089d249c0d97cb046fe1eea6174143a /website-old/download-edge-none.html | |
| parent | 923948f3b53771cfb6a7d1b8a9f879c396541243 (diff) | |
| download | lombok-9488c1c248569d91fa74ed9358baba7f175f02fa.tar.gz lombok-9488c1c248569d91fa74ed9358baba7f175f02fa.tar.bz2 lombok-9488c1c248569d91fa74ed9358baba7f175f02fa.zip | |
Removed old website; we no longer use it.
Diffstat (limited to 'website-old/download-edge-none.html')
| -rw-r--r-- | website-old/download-edge-none.html | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/website-old/download-edge-none.html b/website-old/download-edge-none.html deleted file mode 100644 index 07091b90..00000000 --- a/website-old/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> |