« Previous | Next » 

Revision 07afd277

ID07afd277ed0b3dac15133e4a06080be725ee829e
Parent 909d0442
Child d28ad65e

Added by Antony Chazapis over 12 years ago

Make sure version identifier is integer.

Fixes #1435

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences