Commits on Jun 19, 2017
  1. Merge pull request #1418 from jimreader/patch-1

    Wrong IDE referenced in the restart step
    rspilker committed on GitHub Jun 19, 2017
  2. Wrong IDE referenced in the restart step

    jimreader committed on GitHub Jun 19, 2017
Commits on Jun 13, 2017
Commits on Jun 12, 2017
  1. bugfix for htaccess

    committed Jun 12, 2017
  2. Javadoc now builds without warnings. All links to external javadoc re…

    …placed with straight up links to avoid the <javadoc> target from trying to download a bunch of index pages.
    committed Jun 12, 2017
Commits on May 29, 2017
  1. In the highly unlikely scenario the browser doesn’t support <video> t…

    …ags we now tell the visitor to go watch it on youtube.
    (Thanks Yasin Okumus for the idea!)
    committed May 29, 2017
  2. Final touches to the new website:

    * htaccess for ‘nice looking’ URLs.
    * download-edge overwritten upon stable releases.
    * fixes to the build system.
    * Added google analytics pagetracker.
    committed May 22, 2017
  3. video now has a poster.

    committed May 15, 2017
  4. moved an update to the website text about the jdk8 onX support to the…

    … new website templates.
    committed May 8, 2017
  5. the public API generator now skips ConfigurationKeys classes which re…

    …ally aren’t needed and kinda clutter up the jar (There are a lot of class files generated by that one source file!).
    committed Jan 6, 2017
  6. [wip] download pages.

    committed Jan 6, 2017
  7. credits page updated.

    committed Jan 6, 2017
  8. setup pages added.

    committed Jan 6, 2017
  9. Updated just about all of the pages to the template-based redesign.

    Added ajaxified loading for feature pages.
    committed Oct 17, 2016