« Previous | Next » 

Revision 1216fade

ID1216fade3f00965ad767b96ecd51d6671d7e7840
Parent 42872f9c
Child 59d0f147

Added by Javi Fontan about 9 years ago

feature #1262: manual distro selection if it cannot be detected

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences