« Previous | Next » 

Revision d89569c4

IDd89569c44590cae9e8ac41b82baa55f8a9621bc7
Parent 4133e2ed
Child 09277f7d

Added by Csaba Kiraly about 9 years ago

rename run_player.sh to player.sh

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences