SpikeHD 3f9aa48bc2 delete zips after extraction and autoset jar file

2022-05-16 17:49:52 -07:00

..

downloader.rs

…

file_helpers.rs

renaming and extraction display

2022-05-15 21:32:20 -07:00

lang.rs

…

main.rs

allow custom java set

2022-05-16 16:58:02 -07:00

proxy.rs

fix uri parsing

2022-05-15 23:16:49 -07:00

structs.rs

…

unzip.rs

delete zips after extraction and autoset jar file

2022-05-16 17:49:52 -07:00

web.rs

…