projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: de8fd49 8e234dd)
Merge pull request #381 from shingarov/gitignore-artifacts
authorPaul Mackerras <paulus@ozlabs.org>
Mon, 1 Aug 2022 05:53:01 +0000 (15:53 +1000)
committerGitHub <noreply@github.com>
Mon, 1 Aug 2022 05:53:01 +0000 (15:53 +1000)
Gitignore build artifacts


Trivial merge