Pinned Repositories
blur-my-shell
Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
RG97-asteroid-field
asteroid field
font-logos
An icon font providing popular linux distro's logos
UIDT
Materijali za kurs Uvod u interaktivno dokazivanje teorema na Matematickom fakultetu
maximum-map-labeling
mi16087's Repositories
mi16087/font-logos
An icon font providing popular linux distro's logos