Revision d1b71d0d
ID | d1b71d0df1fb754225eb084c19f9589674b212f1 |
Parent | 45edfadf |
Child | f69e86f2 |
bug #1264: Do not allow wrong number in GRAPHICS/PORT; i.e. floats, <0, strings...
Files
- added
- modified
- copied
- renamed
- deleted
ID | d1b71d0df1fb754225eb084c19f9589674b212f1 |
Parent | 45edfadf |
Child | f69e86f2 |
Added by Ruben S. Montero over 7 years ago
bug #1264: Do not allow wrong number in GRAPHICS/PORT; i.e. floats, <0, strings...