aboutsummaryrefslogtreecommitdiff
path: root/config/astroid
Commit message (Collapse)AuthorAge
* astroid: remove hacky ui modificationsKarel 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 hacksKarel Kočí2024-06-12
|
* astroid: temporally workaround for UIKarel Kočí2023-08-03
https://github.com/astroidmail/astroid/issues/720