« Previous | Next » 

Revision de067c38

IDde067c3869e7b877816f3310f01e01915c58ea18
Parent dd2b770b
Child 3364d10e

Added by Ruben S. Montero almost 10 years ago

feature #754: removed unneeded reader attribute

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences