diff options
Diffstat (limited to 'docker/vpp/vpp-ubuntu18/files/jre')
-rw-r--r-- | docker/vpp/vpp-ubuntu18/files/jre | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docker/vpp/vpp-ubuntu18/files/jre b/docker/vpp/vpp-ubuntu18/files/jre deleted file mode 100644 index 2d856174..00000000 --- a/docker/vpp/vpp-ubuntu18/files/jre +++ /dev/null @@ -1,10 +0,0 @@ -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 - |