diff options
| author | Christophe ROGER <darwiin@users.noreply.github.com> | 2019-06-30 16:39:51 +1100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-30 16:39:51 +1100 |
| commit | 1a2b75c5a506ab7d227654269c9cce9399183e22 (patch) | |
| tree | 3a0f5c0b2216559447d24b78e4ee3e37d8b99aed /.github | |
| parent | 8b4a7d917a6b051358e7cc88b22bb8e44157f418 (diff) | |
| parent | 70d162aba67768540318101ac9ccb2aaafd41ee4 (diff) | |
| download | cv-1a2b75c5a506ab7d227654269c9cce9399183e22.tar.gz cv-1a2b75c5a506ab7d227654269c9cce9399183e22.tar.bz2 cv-1a2b75c5a506ab7d227654269c9cce9399183e22.tar.xz cv-1a2b75c5a506ab7d227654269c9cce9399183e22.zip | |
Merge pull request #41 from darwiin/font-size-option
[EVO] Add new size option. Fixes #28.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions