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	The main page now clicks through to the video.	Reinier Zwitserloot

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

2017-10-02	add ids to h1/h2/h3 for linking directly to them	Roel Spilker

2017-05-29	made the site look a lot better on ‘small’ responsive mode (phones and ↵	Reinier Zwitserloot
	such).
2017-05-29	In the highly unlikely scenario the browser doesn’t support <video> tags ↵	Reinier Zwitserloot
	we now tell the visitor to go watch it on youtube. (Thanks Yasin Okumus for the idea!)
2017-05-29	video now has a poster.	Reinier Zwitserloot

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