Skip to content
This repository has been archived by the owner on Jun 16, 2020. It is now read-only.

Adding an option to choose a font #3

Closed
wants to merge 3 commits into from
Closed

Commits on Jun 26, 2018

  1. adding an option to choose a font

    Yoann Lamouroux committed Jun 26, 2018
    Configuration menu
    Copy the full SHA
    9236b00 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d9214c1 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2018

  1. up-to-date with upstream

    Yoann Lamouroux committed Jul 3, 2018
    Configuration menu
    Copy the full SHA
    e4db472 View commit details
    Browse the repository at this point in the history