diff options
author | Lennart Poettering <lennart@poettering.net> | 2016-07-21 10:55:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-21 10:55:05 +0200 |
commit | 1f5dc27b662bdf098fa36a84d862295ed819c339 (patch) | |
tree | 520861e80775d3d792f2897f18176c83482a68c4 /.gitattributes | |
parent | f8298f7be39f405eea062295f17d527109b6b463 (diff) | |
parent | 00f69504a2c1861d98a027afdebc22c873f09083 (diff) |
Merge pull request #3770 from AlexanderKurtz/master
bootctl: Always use upper case for "/EFI/BOOT" and "/EFI/BOOT/BOOT*.EFI".
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions