dtrg dd3c45ecf2 Added the appropriate #! magic at the beginning of shell scripts. (Some modern shells don't like scripts to be without it.) | il y a 18 ans | |
---|---|---|
.. | ||
.distr | il y a 33 ans | |
Makefile | il y a 39 ans | |
march.sh | il y a 18 ans | |
proto.make | il y a 30 ans |