« Previous | Next » 

Revision 86e25de6

ID86e25de6d3442c26714f05df260ffc6aa0d2c26f
Parent d52c3055
Child 37eb4857

Added by Ralf Jung about 3 years ago

Make it clear that the selection at the top just determines the sources

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences