Report updatetime option in debugging buffer.

This commit is contained in:
Andy Stewart
2014-09-22 14:39:38 +02:00
parent 83ace2014a
commit 198faa119a

View File

@@ -12,6 +12,7 @@ function! gitgutter#debug#debug()
call gitgutter#debug#git_version()
call gitgutter#debug#separator()
call gitgutter#debug#option('updatetime')
call gitgutter#debug#option('shell')
call gitgutter#debug#option('shellcmdflag')
call gitgutter#debug#option('shellpipe')