diff options
| author | George Eleftheriou | 2018-05-31 20:00:36 +0200 |
|---|---|---|
| committer | George Eleftheriou | 2018-05-31 20:00:36 +0200 |
| commit | 47995ff8c28cf7f7f9a58daa4d190f799a24d4de (patch) | |
| tree | 798905d6a4f82964915be09ca945819ba528fe39 /config.patch | |
| parent | e91ade74509c8cd0f3583a24e0f32fb81a6c5861 (diff) | |
| download | aur-47995ff8c28cf7f7f9a58daa4d190f799a24d4de.tar.gz | |
bugfix regarding javadoc with versions of java-environment > 8
thank you petronny ;)
Diffstat (limited to 'config.patch')
0 files changed, 0 insertions, 0 deletions