mirror of
https://github.com/enso-org/enso.git
synced 2025-01-04 18:21:51 +03:00
d1ee7fadce
The fonts were added (by mistake) anyway, but they are rarely changed, and the scripts add unnecessary complexity. This also fixes some post- #11287 problems. |
||
|---|---|---|
| .. | ||
| font-dejavu | ||
| font-enso | ||
| font-enso-naming | ||
| font-enso-prose | ||
| font-mplus1 | ||
| apple-touch-icon.png | ||
| favicon-16x16.png | ||
| favicon-32x32.png | ||
| favicon.ico | ||
