ahamilton/eris
1
0
Fork 0
Code Releases Activity

readme: The wildcard doesn't count as an extension.

Browse source
This commit is contained in:
Andrew Hamilton 2018-06-01 10:38:37 +10:00
parent 86f930bd37
commit 73d06e6ff8
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

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