Skip to main content

Browse the archive

Revision c9c8dda7dd0cbdb3204ab36a953deb287277b3f4 authored by Marge Bot on 06 September 2022, 10:47:20 UTC, committed by Marge Bot on 06 September 2022, 10:47:20 UTC 
Merge tezos/tezos!6222: Add Nix shell
 
Co-authored-by: Ole Krüger <ole.kruger@trili.tech>

Approved-by: Swann Moreau <evertedsphere@gmail.com>
Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com>
Approved-by: Thomas Letan <lthms@nomadic-labs.com>
Approved-by: Romain <romain@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6222
2 parent s 2f1113a + 03900a2
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