diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2021-03-15 11:53:13 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2021-03-15 11:53:13 +0100 |
| commit | 537ebaccb88baa3a40c392716d33482b3ef1641b (patch) | |
| tree | 9caac9527d75e174c2a72d1ae843e6c43a9083bf /src/.gitignore | |
| parent | 978506ef525e7901b62602180969e9d5a8452ba4 (diff) | |
| download | pintos-537ebaccb88baa3a40c392716d33482b3ef1641b.tar.gz | |
dont seek past eof
Diffstat (limited to 'src/.gitignore')
| -rw-r--r-- | src/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore index bea5755..89ff8ee 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -1 +1,2 @@ TAGS +*.o |