Revision 07afd277
ID | 07afd277ed0b3dac15133e4a06080be725ee829e |
Parent | 909d0442 |
Child | d28ad65e |
Make sure version identifier is integer.
Fixes #1435
Files
- added
- modified
- copied
- renamed
- deleted
ID | 07afd277ed0b3dac15133e4a06080be725ee829e |
Parent | 909d0442 |
Child | d28ad65e |
Added by Antony Chazapis over 12 years ago
Make sure version identifier is integer.
Fixes #1435