Merge pull request #3 from stefanschuermans/walbroel.fix_gui_ctrl_c
Stefan commited on 2020-09-04 17:35:54
Showing 0 changed files, with 0 additions and 0 deletions.
fix: make gui quit upon ctrl+c