| author | Debian Multimedia Maintainers <debian-multimedia@lists.debian.org> | |
| Sat, 29 Jun 2019 01:02:25 +0000 (02:02 +0100) | ||
| committer | Peter Michael Green <plugwash@raspbian.org> | |
| Sat, 29 Jun 2019 01:02:25 +0000 (02:02 +0100) | ||
| commit | bbe95f37fc281e411d6d244215d6f89be89d8737 | |
| tree | d504bbfaaf70a5455417b6392541ac0ba7eab7ae | tree | snapshot |
| parent | 76e2ff06e96470963a253eed5a1d1ae34d8d911d | commit | diff |
| editors/sc-ide/widgets/main_window.cpp | diff | blob | history |