* HACKING: Mention the svgo version we use.
This commit is contained in:
parent
06b1ecb50b
commit
7f1a33cc61
1 changed files with 1 additions and 1 deletions
2
HACKING
2
HACKING
|
|
@ -55,7 +55,7 @@ only for certain operations (like releases):
|
||||||
pandoc used during Debian packaging for the conversion of
|
pandoc used during Debian packaging for the conversion of
|
||||||
IPython notebooks to html
|
IPython notebooks to html
|
||||||
svgo for reducing SVG images before generating the tarball
|
svgo for reducing SVG images before generating the tarball
|
||||||
(install with: npm install -g svgo)
|
(install with: npm install -g svgo@1.3.2)
|
||||||
ltl2ba used in the generated documentation and the test suite
|
ltl2ba used in the generated documentation and the test suite
|
||||||
ltl2dstar likewise
|
ltl2dstar likewise
|
||||||
ltl3dra likewise
|
ltl3dra likewise
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue