• Giuseppe Terrasi's avatar
    - Fix bug #1028318 · 4498dc30
    Giuseppe Terrasi authored
    - Re-style search bar and sidebar
    - change sort order in bagde.html
    - Minor changes
    Thanks to Riccado Padovani and Pietro Albini
    4498dc30
badge.html 1.43 KB