forked from coq/coq
coq dev macosify_accel.sh
116 B · 3 lines
Shell