]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
projects / thirdparty / grub.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ed8c088)
Remove now empty directory
authorVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Thu, 10 Oct 2013 07:49:22 +0000 (09:49 +0200)
committerVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Thu, 10 Oct 2013 07:49:22 +0000 (09:49 +0200)

No differences found
Mirror of https://git.savannah.gnu.org/git/grub.git