Skip to content
GitLab
Explore
Sign in
GNOME
pitivi
Repository
pitivi
pitivi
timeline
ruler.py
Find file
Blame
History
Permalink
Set gnome font, make font slightly smaller
· de370516
Paul Lange
authored
Aug 12, 2012
and
Jeff Fortin
committed
Sep 01, 2012
de370516