diff options
| author | Filip Stromback <fstromback@gmail.com> | 2016-04-15 11:45:25 +0200 |
|---|---|---|
| committer | Filip Stromback <fstromback@gmail.com> | 2016-04-15 11:45:25 +0200 |
| commit | 9b26b93ab71a4f81d6189780f0059a9edf6b9b07 (patch) | |
| tree | 71c385aeab4ecc9231047563c349bdf2b7a09790 /src | |
| parent | d5e579609e64e826541919cf438cc415763a4a30 (diff) | |
| download | pintos-rs-9b26b93ab71a4f81d6189780f0059a9edf6b9b07.tar.gz | |
Ignoring TAGS.
Diffstat (limited to 'src')
| -rw-r--r-- | src/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore index e034cb5..e132bfe 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -2,3 +2,5 @@ *.o *.a \#*# + +TAGS |