Ethan Atkins d255481ade Replace %20 with space in sbt script name ...

We replace spaces in the sbt script with %20 and we need to replace the
%20s with spaces.

2020-10-25 19:17:13 -07:00

..

src

Replace %20 with space in sbt script name

2020-10-25 19:17:13 -07:00