Skip to content

Remove from the documentation a shortcut that no longer exists

Toni Asensi Esteve requested to merge work/doc_shortcut into master

Revision: !22 (merged)

Merge request reports