diff options
| author | dzwdz | 2023-08-15 19:23:58 +0200 |
|---|---|---|
| committer | dzwdz | 2023-08-15 19:23:58 +0200 |
| commit | 070b19e2948b3a03669b0f1888f1661b0d196275 (patch) | |
| tree | c006fa6b1e64e4d0927bb7ad0746d12a54f6973d /ports/oed | |
| parent | 642b5fb0007b64c77d186fcb018d571152ee1d47 (diff) | |
user: fix freeze if graphical shell was quit
Diffstat (limited to 'ports/oed')
0 files changed, 0 insertions, 0 deletions