ahamilton/eris
1
0
Fork 0
Code Releases Activity

Revert "readme: Trying centre alignment in tools table."

Browse source 
This reverts commit c6359a8873.
This commit is contained in:
Andrew Hamilton 2018-06-05 08:16:49 +10:00
parent c6359a8873
commit dc5865cf67
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
make-readme.py
View file

@ -48,7 +48,7 @@ then to run:
### Tools
Extensions({len(extension_set)-1}) | Tools({len(tool_set)})
:----------:|:-----:""")
----------:| -----""")
for extensions, tools_ in all_tools:
print("%s | %s" % (" ".join("." + extension for extension in extensions),
" • ".join(tool_markup(tool) for tool in tools_)))