diff options
author | Rolf Bjarne Kvinge <rolf@xamarin.com> | 2011-09-23 15:35:57 +0400 |
---|---|---|
committer | Rolf Bjarne Kvinge <rolf@xamarin.com> | 2011-10-07 11:38:32 +0400 |
commit | bc635a9b0514feae1767f7d9c14017291c4c658c (patch) | |
tree | 62ccb896918d7bb00916ec3564839a8a50b829b2 /.gitignore | |
parent | 9432f97fb873f1a1dc138044fdcace1cbe51335b (diff) |
Ignore headers generated by dtrace.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f164c88850b..51641da3b4c 100644 --- a/.gitignore +++ b/.gitignore @@ -20,6 +20,7 @@ /mono.spec /mono-core.spec /semantic.cache +/mono.h /stamp-h /stamp-h.in /stamp-h1 |