Startsida Utforska Hjälp
Logga in
darkrenaissance
/
darkfi
2
0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Träd: 743366b673
Grenar Taggar
darkfi
/
scripts
/
old
/
compile.sh

compile.sh 88 B
Historik Rå

12 
  1. #!/bin/bash
    2. 

  2. python scripts/parser.py proofs/sapling3.prf | rustfmt > proofs/sapling3.rs
    3.