commit | 54a084014185d80cd27b81cc4318bb5d62333288 | [log] [tgz] |
---|---|---|
author | Bogdan Drutu <[email protected]> | Wed May 10 12:43:49 2017 -0700 |
committer | GitHub <[email protected]> | Wed May 10 12:43:49 2017 -0700 |
tree | ea52a79c3d9a3058d97cb3834f8cca17ce8dbe97 | |
parent | a49b87dee854bb1fa5fc989a0a82c56affeff2eb [diff] |
Remove java7/8 directories. Currently we do not need any feature from java8. (#292)