diff options
| author | emkael <emkael@tlen.pl> | 2019-07-27 12:15:12 +0200 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2019-07-27 12:15:12 +0200 |
| commit | 7e40490e85a2e29b440080db8af39f5c48baa6ed (patch) | |
| tree | 901b83ca512eb2cd5afcadabe933718101ec6346 /jfr_playoff/gui/icons/open.gif | |
| parent | 81610eebbba4aeb3e307b20fabe9ff88f2bf0df0 (diff) | |
"Run" and "Run timed" actions in top menu
Diffstat (limited to 'jfr_playoff/gui/icons/open.gif')
0 files changed, 0 insertions, 0 deletions