milis/bin/odkp

3 lines
36 B
Plaintext
Raw Normal View History

2016-05-10 03:28:37 +02:00
mps -G
mps -kur $1 && mps -derle $1