mirror of
https://github.com/enso-org/enso.git
synced 2024-12-30 04:03:17 +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 |