Skip to content

Commit

Permalink
chore: remove libs/regex_to_circom in favour of zk-regex
Browse files Browse the repository at this point in the history
  • Loading branch information
saleel committed Mar 25, 2024
1 parent dca512e commit d0a4234
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 1,079 deletions.
40 changes: 0 additions & 40 deletions libs/regex_to_circom/README.md

This file was deleted.

191 changes: 0 additions & 191 deletions libs/regex_to_circom/gen.py

This file was deleted.

Loading

0 comments on commit d0a4234

Please sign in to comment.