☰

githubwidth

resizes github repos for smaller window widths.

Per 04-06-2020. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.

  • 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