From 1e66640913743f4210b8cd34091e8054c6f59a97 Mon Sep 17 00:00:00 2001 From: Nhung Le Date: Wed, 17 Oct 2018 10:11:36 +0700 Subject: [PATCH] change indent --- views/other.erb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/views/other.erb b/views/other.erb index ee9b8de1..b32fce8d 100644 --- a/views/other.erb +++ b/views/other.erb @@ -3,7 +3,9 @@ - <% if doc_index_page? %><% else %><% end %> + <% if doc_index_page? %> + <% else %> + <% end %> DevDocs<%= " — #{@doc['full_name']} documentation" if doc_index_page? %>