Skip to main content

Browse the archive

Revision 82b875c85e4cbde7f5a0501ec02179426ebb84df authored by François Thiré on 01 February 2023, 14:03:41 UTC, committed by François Thiré on 01 February 2023, 14:03:41 UTC 
fix port in tezt
1 parent 8fa88a2
Raw File
README.md 
# devtools

This is a place designed to development only tools, it may include, patches, suggestions, ppxes and others. **Tools here should not be used to make release builds, for testing or on the CI**.

## Tools

- protocol-print: This allows printing inside the protocol files for debugging purposes.
- utop-fix (deprecated by [tztop](../src/tooling/tztop/README.md)): allows utop to be used globally in Tezos
back to top