Skip to content

Commit

Permalink
Merge #404
Browse files Browse the repository at this point in the history
404: Add ZoKrates to list of projects in README r=dragostis a=Schaeff

We're using pest as well as pest-ast :)

Co-authored-by: Thibaut Schaeffer <[email protected]>
  • Loading branch information
bors[bot] and Schaeff authored Aug 24, 2019
2 parents e6e54d6 + fd68181 commit 4b3d252
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -159,6 +159,7 @@ Digit: 2
* [tera](https://github.com/Keats/tera)
* [ui_gen](https://github.com/emoon/ui_gen)
* [ukhasnet-parser](https://github.com/adamgreig/ukhasnet-parser)
* [ZoKrates](https://github.com/ZoKrates/ZoKrates)

## Special thanks

Expand Down

0 comments on commit 4b3d252

Please sign in to comment.