Hi Henning,
I recall that there was a policy against adding tools-generated files to
.gitignore, as .config/git/ignore seems more appropriate (different
people use different tools).
On 07.02.2017 21:32, Henning Schild wrote:
Signed-off-by: Henning Schild <[email protected]>
diff --git a/.gitignore b/.gitignore
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
*.mod.[co]
*.cmd
*.bin
+*.gcno
.tmp_versions
*.dtb
*.dtb.S
Best,
Valentine
--
You received this message because you are subscribed to the Google Groups
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
