| 486 | } |
| 487 | |
| 488 | void IDE::help() |
| 489 | { |
| 490 | QDesktopServices::openUrl(QUrl(QString("http://docs.minizinc.dev/en/")+MINIZINC_IDE_VERSION+"/minizinc_ide.html")); |
| 491 | } |
| 492 | |
| 493 | IDE::~IDE(void) { |
| 494 | QSettings settings; |
no outgoing calls
no test coverage detected