17 Dec
2020
17 Dec
'20
7:49 a.m.
Dear Etienne,
Does anybody specifically need this version? Would it be possible to upgrade to the latest stable release?
(you might better talk to Aaron Stump, though:) I guess no to both. StarExec is very conservative about environment and it wouldn't be up to user's need. I recommend you to include all the external tools when uploading to StarExec. I understand this is important for reproducibility. Best, Akihisa -- このEメールはアバスト アンチウイルスによりウイルススキャンされています。 https://www.avast.com/antivirus