diff options
| -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 |
![]() |
index : pintos-rs | |
| [no description] | git |
| aboutsummaryrefslogtreecommitdiffstats |
| -rw-r--r-- | src/.gitignore | 2 |
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 |