diff options
author | Robert Morris <[email protected]> | 2019-07-23 14:31:12 -0400 |
---|---|---|
committer | Robert Morris <[email protected]> | 2019-07-23 14:31:12 -0400 |
commit | 936afc6e1a2ac7149d956b000373f248d49d5196 (patch) | |
tree | 95540ae5029133da4e9ba3411a440124fc2774dc /pr.pl | |
parent | 54178ad94d758e557bfa369b7f137e2844e030e1 (diff) | |
download | xv6-labs-936afc6e1a2ac7149d956b000373f248d49d5196.tar.gz xv6-labs-936afc6e1a2ac7149d956b000373f248d49d5196.tar.bz2 xv6-labs-936afc6e1a2ac7149d956b000373f248d49d5196.zip |
mstart -> start
Diffstat (limited to 'pr.pl')
0 files changed, 0 insertions, 0 deletions