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 | |
| parent | aac7789461d2f2106a3ea6c2fe0b068dd3d7fdfb (diff) | |
Do not use Ubuntu font on about:home
| -rw-r--r-- | makeicecat | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -646,6 +646,7 @@ find extensions/gnu/ | sed s=extensions/gnu=distribution/extensions= >> mobile/a # Onboarding +sed 's/.Ubuntu., //' -i browser/extensions/activity-stream/css/activity-stream*.css cp $DATA/onboarding/bootstrap.js browser/extensions/onboarding cp $DATA/onboarding/onboarding.js browser/extensions/onboarding/content cp $DATA/onboarding/onboarding.properties browser/extensions/onboarding/locales/en-US |