enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-27 06:32:30 +03:00
Code Issues Projects Releases Wiki Activity
d1ee7fadce
enso/app/gui/public/font-dejavu
History
Adam Obuchowicz d1ee7fadce
Remove download font scripts (#11317) 
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.
2024-10-14 16:11:42 +00:00
..
DejaVuSansMono-Bold.ttf Remove download font scripts (#11317) 2024-10-14 16:11:42 +00:00
DejaVuSansMono.ttf Unify Frontend App (#11287) 2024-10-11 18:23:02 +00:00