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...