tree ed4c132034a7df29d1d836b608b2d72271da0978
parent 74f837db33afc72f37fe5174afed452b56267e72
author Davide Pesavento <davidepesa@gmail.com> 1736109606 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1736109606 -0500
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQLoJOItsvGUFdC5F9LbVRJST23tZvhtvYPA1XOdM+KpYefVbXca4s1PVWXNHLnsj7o
 1fOtMavzKGqs5tGOptJQ0=
 -----END SSH SIGNATURE-----

challenge+tools: minor simplifications

Change-Id: I4c5446fe31969741de0fd71a589832492256950f