From d5dd4d4b3af9d5cf30b3c01931c0ec1e6155c8d9 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Sat, 13 Jul 2019 13:51:04 +0300 Subject: [PATCH] Add global "env" group to extra_configs example --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 57966522..28a6b675 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 5796652265a7a8fc06ed5e59fc0201f27191fb85 +Subproject commit 28a6b67514d27a6dd38d106e74c6eb83fd1bed1f