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 /po/POTFILES.skip | |
| 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 'po/POTFILES.skip')
0 files changed, 0 insertions, 0 deletions