diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-05-14 15:44:13 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 23:27:34 +0200 |
| commit | 71fc96dbffa070ec0252d1b04bd715373d209cb6 (patch) | |
| tree | e50e2e02439a5de3a56b85c9576f68d423abc278 /manual/PRESENTATION_Prog/Makefile | |
| parent | 0cc0277953615c28cd8c99bfe7928174154af752 (diff) | |
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
===================================================================
Gbp-Pq: Name switch-to-free-font.patch
Diffstat (limited to 'manual/PRESENTATION_Prog/Makefile')
0 files changed, 0 insertions, 0 deletions