| author | Debian Multimedia Maintainers <debian-multimedia@lists.debian.org> | |
| Mon, 8 Jun 2020 07:17:12 +0000 (08:17 +0100) | ||
| committer | Peter Michael Green <plugwash@raspbian.org> | |
| Mon, 8 Jun 2020 07:17:12 +0000 (08:17 +0100) | ||
| commit | d40c8c5b62e59796c74e907d0143dcfb2b8b335f | |
| tree | ca209057f43e2436fe96f773c2fc063a5d28051f | tree | snapshot |
| parent | dc5117b48006c6a19455403a7d462a8082e6b0a6 | commit | diff |
| editors/sc-ide/CMakeLists.txt | diff | blob | history | |
| editors/sc-ide/widgets/help_browser.cpp | diff | blob | history |