diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-30 10:38:25 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-30 10:38:25 +0200 |
| commit | 36287ef1d6a6b93fcdda3e7ca5980c19d2856e81 (patch) | |
| tree | ecbf664501c94406d2ca78d03c2b668c42d9811d /bin/docs-update-generated.py | |
| parent | 6e0aea8e3f4f045890ac78233c6a66acdbd23b05 (diff) | |
Switch from openjdk-8-jre to default-jre (Closes: #894355)
Diffstat (limited to 'bin/docs-update-generated.py')
0 files changed, 0 insertions, 0 deletions