tools: Added git_log.

This commit is contained in:
Andrew Hamilton 2017-12-29 11:21:11 +10:00
parent 4a02b26fb0
commit c6250b2803
4 changed files with 18 additions and 4 deletions

View file

@ -42,7 +42,8 @@ then to run:
Extensions | Tools
---------- | -----""")
all_tools = ([(["*"], tools.generic_tools() + [tools.git_blame])] +
all_tools = ([(["*"], tools.generic_tools() +
[tools.git_blame, tools.git_log])] +
tools.TOOLS_FOR_EXTENSIONS)
for extensions, tools_ in all_tools:
print("%s | %s" % (" ".join("." + extension for extension in extensions),