shorten the publication shortcuts (!472) · Merge requests · R3 / howto-cards LEGACY VERSION · GitLab

Miroslav Kratochvil requested to merge mk-shorten-publication-shortcuts into master May 15, 2023

Ref: https://gitlab.lcsb.uni.lu/R3-core/howto-cards-internal/-/merge_requests/816