github/lombok.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2017-10-26	Removed flash-based video player; these days, who needs it, right?	Reinier Zwitserloot

2017-10-26	Added an individual ‘setup’ page; hamburger menu now goes to it.	Reinier Zwitserloot

2017-10-26	The main page now clicks through to the video.	Reinier Zwitserloot

2017-10-26	solved some bugs in our site.	Reinier Zwitserloot

2017-07-17	Updated website to render snippets more intelligently on reasonably sized ↵	Reinier Zwitserloot
	browser windows.
2017-06-13	Final touches to the website (very minor typos etc update)	Reinier Zwitserloot

2017-05-29	made the site look a lot better on ‘small’ responsive mode (phones and ↵	Reinier Zwitserloot
	such).
2017-05-29	video now has a poster.	Reinier Zwitserloot

2017-05-29	Styling and layout of all-versions, download, and changelog fixed/updated.	Reinier Zwitserloot

2017-05-29	The great rename: the old ‘website’ is now ‘website-old’, and ↵	Reinier Zwitserloot
	‘website2’ is now ‘website’.