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

Age	Commit message (Collapse)	Author
2018-05-08	[website] bugfix; supporters weren’t being shown.	Reinier Zwitserloot

2018-03-27	Fixes #1608: give pages a title	Roel Spilker

2018-03-18	[website] Some minor updates and fixes to the website order page.	Reinier Zwitserloot

2018-03-11	last minute bugfixes to license order form mechanics.	Reinier Zwitserloot

2018-03-11	[website] added supporters infrastructure.	Reinier Zwitserloot

2018-03-11	Website updated to list supporters on the website.	Reinier Zwitserloot

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-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	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’.