]> xenbits.xensource.com Git - mini-os.git/commit
projects / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38e313a) | patch
mini-os: add mini-os-debug[.gz] to .gitignore
authorJuergen Gross <jgross@suse.com>
Mon, 20 Jun 2022 07:38:20 +0000 (09:38 +0200)
committerJulien Grall <jgrall@amazon.com>
Mon, 4 Jul 2022 08:50:54 +0000 (09:50 +0100)
commit502f3df310c0e3cce3022596bcd12727349f6624
tree64574b984a2551906bddff849bc0d88eb7553455tree
parent38e313a9b87f0520c0ed8d385db614a6bc93c01ccommit | diff
mini-os: add mini-os-debug[.gz] to .gitignore

mini-os-debug and mini-os-debug.gz are created when building Mini-OS,
add them to .gitignore.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
.gitignore diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.