]> git.rmz.io Git - dotfiles.git/history - gdb/kde.py
env: introduce THEME env variable to pick between various themes
[dotfiles.git] / gdb / kde.py
2019-11-24 Samir Benmendilgdb: add qt and kde pretty printers