diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-04-19 12:47:28 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-04-19 12:47:28 -0500 |
| commit | ce104115ea671c4dd4bf7dc0b70ba9cf40948ee3 (patch) | |
| tree | c80ac561004fa45fe9c301b3149d5aeb6f7b06df /.gitignore | |
| parent | 40f2a0ea7b4cf94a7c53d1be66dbfa4d4aaa82d2 (diff) | |
add {j{re,dk}9-openjdk,jre9-openjdk-headless} to the blacklist for branding reasons
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions