• Rémi Denis-Courmont's avatar
    Fix usage of add_shortcut. · 37ce2848
    Rémi Denis-Courmont authored
    Note that shortcuts are inherited from the main module to submodules, so it is
    totally useless to duplicate them paste add_submodule. If you think this is
    wrong, I do not necessarily disagree, but it would need a RFC.