From f1ed9fa5e2bcaf59d739d65b2c0ae7042035cfdc Mon Sep 17 00:00:00 2001
From: carlocamilloni <carlo.camilloni@gmail.com>
Date: Thu, 11 Oct 2018 11:55:59 +0200
Subject: [PATCH] README: docker added

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 178f21a55..a28d4c02b 100644
--- a/README.md
+++ b/README.md
@@ -65,6 +65,7 @@ Here's a description of the content of each file and directory in the root PLUME
     configure        : configuration script
     configure.ac     : configuration script (autoconf)
     developer-doc    : developer documentation
+    docker           : directory where Docker is generated
     macports         : directory where Portfiles are generated
     patches          : patch scripts
     regtest          : regression tests, including reference results
-- 
GitLab