diff for duplicates of <20150714065317.36dc83aa@opensuse.site> diff --git a/a/1.txt b/N1/1.txt index ec98eec..19b1506 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -57,3 +57,9 @@ supported?) and use it consistently. > # Extra indentation to add to menu entries in a submenu. We're not in a submenu > # yet, so it's empty. In a submenu it will be equal to '\t' (one tab). > submenu_indentation="" + + +_______________________________________________ +Grub-devel mailing list +Grub-devel@gnu.org +https://lists.gnu.org/mailman/listinfo/grub-devel diff --git a/a/content_digest b/N1/content_digest index e5b2f4c..aacd4ed 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -74,6 +74,12 @@ "\n" "> # Extra indentation to add to menu entries in a submenu. We're not in a submenu\n" "> # yet, so it's empty. In a submenu it will be equal to '\\t' (one tab).\n" - "> submenu_indentation=\"\"" + "> submenu_indentation=\"\"\n" + "\n" + "\n" + "_______________________________________________\n" + "Grub-devel mailing list\n" + "Grub-devel@gnu.org\n" + https://lists.gnu.org/mailman/listinfo/grub-devel -0b16fd2b7102427510e9d14464d4545c7c5940c12f167d3b49cd1bb520c5ff46 +d466f8f51b44d95d820810db91a31fda54b80325a5403773ce046d079576496f
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.