« Previous | Next » 

Revision 837e6815

ID837e681513714cb5e9431d2755f7c08047739dd5
Parent 4387159f
Child d5ee86d6

Added by Javi Fontan over 8 years ago

feature #1672: change default driver names

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences