Parcourir la source

proof: Move pism scripts to old/

parazyd il y a 4 ans
Parent
commit
f1985e7559
2 fichiers modifiés avec 0 ajouts et 0 suppressions
  1. 0 0
      old/mint.pism
  2. 0 0
      old/spend.pism

+ 0 - 0
proof/mint.pism → old/mint.pism


+ 0 - 0
proof/spend.pism → old/spend.pism