diff options
| author | Robin Gloster <mail@glob.in> | 2017-09-28 04:16:32 +0200 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2017-09-28 04:16:54 +0200 |
| commit | c57e5d1aa9a90e86d02812970670513839b14313 (patch) | |
| tree | 8829e3cc30f10b828784857159e854d44cb005dc /pkgs/development/compilers/urweb | |
| parent | 35c15d4a61be8e9fb56410077c16dfb092e4ae1b (diff) | |
elasticsearch: use jre_headless
Diffstat (limited to 'pkgs/development/compilers/urweb')
0 files changed, 0 insertions, 0 deletions