gitignore: ignore output file of mkid (#7081)

author John Lin <johnlinp@gmail.com>

Fri, 13 Oct 2017 08:17:43 +0000 (16:17 +0800)

committer Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>

Fri, 13 Oct 2017 08:17:43 +0000 (10:17 +0200)
author John Lin <johnlinp@gmail.com>
Fri, 13 Oct 2017 08:17:43 +0000 (16:17 +0800)
committer Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 13 Oct 2017 08:17:43 +0000 (10:17 +0200)
diff --git a/.gitignore b/.gitignore

index 4f0c6a78924c9b7adbdc80ede622103346c7534d..5e36a0b5eb795a099ff5c59636ea2441323f7319 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -21,6 +21,7 @@
  /GSYMS
  /GTAGS
  /TAGS
+/ID
  /build*
  /coverage/
  /image.raw
author	John Lin <johnlinp@gmail.com>
	Fri, 13 Oct 2017 08:17:43 +0000 (16:17 +0800)
committer	Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
	Fri, 13 Oct 2017 08:17:43 +0000 (10:17 +0200)