Sam Atkins 84b67754c0 Shell: Read script arguments as Strings instead of char*s ...

This saves work in places that previously had to create a
`Vector<String>` anyway, or repeatedly cast the char* to a String.
Plus, Strings are nicer than char*. :^)

2022-04-11 21:09:42 +02:00

9.7 KiB

Raw Blame History

View Raw