Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | astroid: remove hacky ui modifications | Karel Kočí | 2024-10-02 |
| | | | | They are no longer required when webkitgtk 4.1 is used. | ||
* | Revert "config/astroid: remove ui hacks" | Karel Kočí | 2024-06-12 |
| | | | | This reverts commit d2204d2fdfed2346a3b6b008ad9a01f693f8c9a0. | ||
* | config/astroid: remove ui hacks | Karel Kočí | 2024-06-12 |
| | |||
* | astroid: temporally workaround for UI | Karel Kočí | 2023-08-03 |
https://github.com/astroidmail/astroid/issues/720 |