From 369aff91131687a53337ba5506991a7e9a2c86ac Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Sun, 15 Jan 2017 00:19:25 +0200 Subject: [PATCH] Fix indent level for Options --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 3a9574a2..f07d51a8 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 3a9574a2585e41b011c936f9f0093844bfc55696 +Subproject commit f07d51a851f9652c8f92c00b0ffb9bea785fa6b2