https://pantsbuild.org/ logo
w

witty-crayon-22786

09/19/2019, 4:42 PM
@red-balloon-89377: the razor is: "all args that you don't want
def main(args: Array[String])
to receive"