|
|
0f5a1178fb
|
we don't need txt2rst and txt2html anymore
|
2021-05-25 22:14:29 -04:00 |
|
|
|
d7242eaa6a
|
print total styles and count/report the number of issues
|
2020-01-11 20:41:14 -05:00 |
|
|
|
423a3bb99f
|
Add initial version of updated tools from #1533
|
2019-11-05 15:27:21 -05:00 |
|
