Docs: Use renamed "default_envs" option

This commit is contained in:
Ivan Kravets committed 2019-07-16 16:55:23 +03:00
1 parent aa3c943651
commit d06d5def72
1 file changed
+1 -1
+1 -1
Submodule docs updated: f3ea0d9bfa...3f6ebfa0a9.