Revision 63ef494d
ID | 63ef494d6f5e5e281d79a03137d29c20102d726b |
Parent | dcf9ad4b |
Child | 5e4f9343 |
feature #1791: save_as "hot" parameter must be boolean
Files
- added
- modified
- copied
- renamed
- deleted
ID | 63ef494d6f5e5e281d79a03137d29c20102d726b |
Parent | dcf9ad4b |
Child | 5e4f9343 |
Added by Javi Fontan over 8 years ago
feature #1791: save_as "hot" parameter must be boolean