Skip to content
Blame History Permalink
  • Balazs Kezes's avatar
    Use python2.7 by default. · 8b00db8c
    Balazs Kezes authored 
    The python 3 version's default font doesn't support many boldface,
italic and blackboard boldface characters.
    8b00db8c