Revision 139bc99c
ID | 139bc99caaaa2dcfbe8e83e38c8d0a3c0be2c636 |
Parent | f9b845f5 |
Child | 2c3b4db6 |
bug #4731: bug adding default SPICE_OPTIONS
Files
- added
- modified
- copied
- renamed
- deleted
ID | 139bc99caaaa2dcfbe8e83e38c8d0a3c0be2c636 |
Parent | f9b845f5 |
Child | 2c3b4db6 |
Added by Javi Fontan almost 5 years ago
bug #4731: bug adding default SPICE_OPTIONS