On 25/05/21 12:46, Philippe Mathieu-Daudé wrote:
+ k = [] + foreach m, _ : list + k += [m] + endforeach + summary_info += {d: ' '.join(k)}
Perhaps: foreach dir, list : modules if list.keys().length() > 0 summary_info += {dir: ' '.join(list.keys())} endif endforeach Paolo
+endforeach +summary(summary_info, bool_yn: true, section: 'Modules') +