Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
darkrenaissance
/
darkfi
2
0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Strom: 7bc1b95982
Branche Tagy
darkfi
/
scripts
/
old
/
compile.sh

compile.sh 88 B
História Raw

12 
  1. #!/bin/bash
    2. 

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