Skip to content
GitLab
Explore
Sign in
GNOME
pitivi
Repository
pitivi
plugins
console
consolebuffer.py
Find file
Blame
History
Permalink
plugins: Add preferences for text font and color in the Developer Console
· 8e8bba71
Fabián Orccón
authored
Jul 24, 2018
and
Alexandru Băluț
committed
Aug 07, 2018
8e8bba71