diff options
| author | manuel <manuel@mausz.at> | 2012-03-27 01:24:47 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2012-03-27 01:24:47 +0200 |
| commit | eae0bd57f0a26314a94785061888d193d186944a (patch) | |
| tree | 0d6d770ead4a14e9934de4f07af34f44b78e73bf /pintos-progos/userprog/.gitignore | |
| parent | 1a39d0619947a0a3cda8322e5856975ba46c602d (diff) | |
| download | progos-eae0bd57f0a26314a94785061888d193d186944a.tar.gz progos-eae0bd57f0a26314a94785061888d193d186944a.tar.bz2 progos-eae0bd57f0a26314a94785061888d193d186944a.zip | |
fix typo in name of one group member. i'm sorry karoline.
Diffstat (limited to 'pintos-progos/userprog/.gitignore')
0 files changed, 0 insertions, 0 deletions