diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-09 15:42:40 -0500 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-09 15:42:40 -0500 |
| commit | 6cffa300527774bfa00e61bcccf1f475fe4618ad (patch) | |
| tree | 58d7d2c8b1e455d389ba8b0c87e60087651f9b63 /tools | |
| parent | aac7789461d2f2106a3ea6c2fe0b068dd3d7fdfb (diff) | |
Do not use Ubuntu font on about:home
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions