diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 02:54:08 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 02:54:08 +0200 |
| commit | e6d0a1eb493f3017ececfda888fd73948aab5bc5 (patch) | |
| tree | 1b78cd13d9b285c76cacf4a37b3f78324b0f23eb /src/Make.config | |
| parent | e3afa4964ece6804b38224e529922ce8c442b8f4 (diff) | |
| download | pintos-rs-e6d0a1eb493f3017ececfda888fd73948aab5bc5.tar.gz | |
comment spelling correction
Diffstat (limited to 'src/Make.config')
0 files changed, 0 insertions, 0 deletions