Commit 1d764555 authored by Romain Casati's avatar Romain Casati

Adding a more method for easy ps1/ps2 setting + a link to the REPL banner.

parent b6dc06d5
Pipeline #386180 failed with stage
in 1 minute and 58 seconds