[Ohrrpgce] SVN: teeemcee/13071 Rename ohrrpgce-player-linux-bin-minimal-*.zip to ohrrpgce-player-linux-

[subversion at HamsterRepublic.com]

teeemcee
2022-08-19 21:09:23 -0700 (Fri, 19 Aug 2022)
327
Rename ohrrpgce-player-linux-bin-minimal-*.zip to ohrrpgce-player-linux-*.zip

Done due to upcoming change in linux player package contents.
The one thing I didn't change was the download URL used by the distribmenu.

Also, I forgot to update nightly/check_nightly_wip.sh for the change in
ohrrpgce-player-win-sdl2-wip.zip name
---
U   wip/Jenkinsfile
U   wip/distrib-linux.sh
U   wip/distrib-nightly-linux.sh
U   wip/nightly/check_nightly_wip.sh
U   wip/release/release-itchio.sh
U   wip/release/release-linux-x86.sh
U   wip/release/release-linux-x86_64.sh