From 310a028a0cd0c32006896d2c3b12109d7764e067 Mon Sep 17 00:00:00 2001 From: Graham Christensen Date: Mon, 16 Dec 2019 13:06:18 -0500 Subject: [PATCH] dockerTools: the API has basically never changed --- doc/builders/images/dockertools.xml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/doc/builders/images/dockertools.xml b/doc/builders/images/dockertools.xml index 2243453c3e97..e7f37fdaaf00 100644 --- a/doc/builders/images/dockertools.xml +++ b/doc/builders/images/dockertools.xml @@ -8,12 +8,6 @@ pkgs.dockerTools is a set of functions for creating and manipulating Docker images according to the Docker Image Specification v1.2.0 . Docker itself is not used to perform any of the operations done by these functions. - - - The dockerTools API is unstable and may be subject to backwards-incompatible changes in the future. - - -
buildImage