Commit bedd877
authored
GAP banner: split
The function `ShowPackageInformation` prints part of the GAP banner.
Up to now, it prints an overview of the loaded packages
and then a line about GAP's interactive help system.
The proposed change separates the two parts,
the last line is printed by the new function `ShowHelpInformation`.ShowPackageInformation into two functions (#6193)1 parent 7e76a45 commit bedd877
1 file changed
+5
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
815 | 815 | | |
816 | 816 | | |
817 | 817 | | |
| 818 | + | |
818 | 819 | | |
| 820 | + | |
819 | 821 | | |
820 | 822 | | |
821 | 823 | | |
822 | | - | |
| 824 | + | |
823 | 825 | | |
824 | 826 | | |
825 | 827 | | |
| |||
828 | 830 | | |
829 | 831 | | |
830 | 832 | | |
| 833 | + | |
831 | 834 | | |
832 | 835 | | |
833 | 836 | | |
834 | 837 | | |
835 | 838 | | |
836 | 839 | | |
| 840 | + | |
837 | 841 | | |
838 | 842 | | |
839 | 843 | | |
| |||
0 commit comments