« Previous | Next » 

Revision f94c01c7

IDf94c01c7066ca74dcfe7c250c759bc4e4a75319e
Parent abe3ead4
Child d23290ea

Added by Csaba Kiraly over 9 years ago

player.sh: use curl if wget is not available

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences