Open Suavesito-Olimpiada opened 6 months ago
Same as #30
bump. any reason not to merge this?
actually, ^ is the default, so why not just omit it?
^
Didn't remember this, let me change it. Thanks. :)
Same as #30