diff options
Diffstat (limited to 'docker/vpp/vpp-ubuntu18/files/jre')
| -rw-r--r-- | docker/vpp/vpp-ubuntu18/files/jre | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docker/vpp/vpp-ubuntu18/files/jre b/docker/vpp/vpp-ubuntu18/files/jre new file mode 100644 index 00000000..2d856174 --- /dev/null +++ b/docker/vpp/vpp-ubuntu18/files/jre @@ -0,0 +1,10 @@ +Package: default-jdk-headless +Pin: release a=now +Priority: 1001 +Pin-Priority: 1001 + +Package: default-jre-headless +Pin: release a=now +Priority: 1001 +Pin-Priority: 1001 + |