add default_partition filter in etud_add_group_infos #611

Merged
viennet merged 1 commits from jmplace/ScoDoc-Lille:discard_default_partition_from_export into master 2023-03-01 14:51:47 +01:00

1 Commits

Author SHA1 Message Date
Jean-Marie Place c474e48ec8 add default_partition filter in etud_add_group_infos 2023-03-01 14:39:36 +01:00