diff options
| author | Felipe Boeira <felipe.boeira@liu.se> | 2019-01-22 17:37:28 +0100 |
|---|---|---|
| committer | Felipe Boeira <felipe.boeira@liu.se> | 2019-01-22 17:37:28 +0100 |
| commit | efc06d038b98a2887306ebbce058361e43a68e77 (patch) | |
| tree | e55012a7d183872c54832860db1e1a0006fea23a /src/.gitignore | |
| parent | 54f498fe4fb918ee7b40786b7599803bc9e7445a (diff) | |
| download | pintos-efc06d038b98a2887306ebbce058361e43a68e77.tar.gz | |
Added files for the GDB lab 0 exercise
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 new file mode 100644 index 0000000..bea5755 --- /dev/null +++ b/src/.gitignore @@ -0,0 +1 @@ +TAGS |