Skip to content

Commit

Permalink
Fix indent
Browse files Browse the repository at this point in the history
  • Loading branch information
Wilfred committed Dec 22, 2017
1 parent 9d68e56 commit d0cd139
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion helpful.el
Original file line number Diff line number Diff line change
Expand Up @@ -1121,7 +1121,7 @@ state of the current symbol."
(source-path
(concat
(propertize (format "%s Defined in " (if primitive-p "//" ";;"))
'face 'font-lock-comment-face)
'face 'font-lock-comment-face)
(helpful--navigate-button
source-path
(helpful--source-pos helpful--sym helpful--callable-p))
Expand Down

0 comments on commit d0cd139

Please sign in to comment.