diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-05-14 15:44:13 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-17 18:36:13 +0200 |
| commit | a72b8839bc0afc650d9612d945b33192d6d7d783 (patch) | |
| tree | ac7175a7204a3ec13aec2484befc8aacfffeb443 /libs/minisat/IntTypes.h | |
| parent | 7fc61dbbfe5c26e48e4eb44e009257c466511d82 (diff) | |
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
===================================================================
Gbp-Pq: Name switch-to-free-font.patch
Diffstat (limited to 'libs/minisat/IntTypes.h')
0 files changed, 0 insertions, 0 deletions