Revision af2ee3a5406a3b57dfe1a0c010d2a29c2fdbfeed

Committed on 26/11/2024 7:26 am by Johan Vlaar <JohJohan@users.noreply.github.com> [GitHub Diff]

Make sure the command is copy pastable by removing $