☰

githubwidth

resizes github repos for smaller window widths.

Versione datata 05/06/2020. Vedi la nuova versione l'ultima versione.

queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.

  • v0.3 03/07/2020 unbroke everything for logged-in users.
  • v0.2 01/07/2020 set the namespace
  • v0.1 05/06/2020 Found a more elegant point at which to resize the page, unfucked the file listing at really small window width, and nuked the useless links in the header.
  • v0.0 04/06/2020