From eeabe1799719400036af85793993c366aeb013a9 Mon Sep 17 00:00:00 2001
From: Tim Dysinger <tim@dysinger.net>
Date: Wed, 30 Mar 2016 17:06:05 -0700
Subject: [PATCH] remove docker container

resolves #1969
---
 etc/docker/ubuntu-with-libgmp/Dockerfile | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 etc/docker/ubuntu-with-libgmp/Dockerfile

diff --git a/etc/docker/ubuntu-with-libgmp/Dockerfile b/etc/docker/ubuntu-with-libgmp/Dockerfile
deleted file mode 100644
index 62d4539402..0000000000
--- a/etc/docker/ubuntu-with-libgmp/Dockerfile
+++ /dev/null
@@ -1,15 +0,0 @@
-#-*- mode:conf; -*-
-
-FROM ubuntu:14.04
-MAINTAINER Tim Dysinger <tim@fpcomplete.com>
-
-ENV DEBIAN_FRONTEND noninteractive
-# RUN apt-get update \
-#  && apt-get install -y net-tools
-# RUN echo "Acquire::http { Proxy \"http://$(netstat -nr|grep '^0\.0\.0\.0'|awk '{print $2}'):3142\"; };" \
-#   | tee /etc/apt/apt.conf.d/02proxy
-RUN apt-get update \
- && apt-get install -y netbase ca-certificates libgmp10 \
- && apt-get clean
-RUN update-ca-certificates
-# RUN rm /etc/apt/apt.conf.d/02proxy