- 18 Mar, 2023 1 commit
-
-
Anton Midyukov authored
-
- 10 Oct, 2012 1 commit
-
-
Mike Radyuk authored
-
- 12 Sep, 2012 3 commits
-
-
Michael Shigorin authored
Its immediate purpose was influencing the GRUB boot menu *but* the implemented mechanism is actually a part of the long planned text branding and might be further merged into branding when hierarchical features finally chime in. So let's get the naming straight before it breeds.
-
Michael Shigorin authored
File contents should be correct.
-
Mike Radyuk authored
-