diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-04-15 13:40:05 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-15 13:40:05 +0100 |
| commit | 47acd0b822261b6b934f47b89b2276a686cc1865 (patch) | |
| tree | e9e8088518f5ae5f7cc7e355927da2ce550220d9 /src/backend/solvedeps.py | |
| parent | bec61c175f88026ff9f45abcb0c66194132b8f5f (diff) | |
backend : improve the countdown timer, use it to kill the GUI whenever an unsupported operation is requested
Diffstat (limited to 'src/backend/solvedeps.py')
0 files changed, 0 insertions, 0 deletions