« Previous | Next » 

Revision ed249a38

IDed249a3825e911c62b210420fe3926d2b422c715
Parent 4dc86b75
Child 6187a97f

Added by Carlos Martín over 4 years ago

Feature #4620: Minor fixes

(cherry picked from commit 73ff900acb8e8c644f501a8bb7ce90b7942ee5bd)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences