« Previous | Next » 

Revision baa8a64e

IDbaa8a64e425f31752c8f66a08a824960d0469608
Parent d3834b12
Child d12c8661

Added by Carlos Martín about 9 years ago

Bug #1318: Use new option names accordingly
(cherry picked from commit 916777f49c1b5fb0dcac7bfe7db2c7954222ab98)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences