☰

GitHub - Make the site better (and wider)

Makes github full width in a few views, and makes PR diffs easier to browse

Per 18-08-2015. Zie de nieuwste versie.

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

  • v1.3 19-04-2017 Imported from URL
  • v1.2 04-05-2016 Imported from URL
  • v1.1 29-01-2016 Imported from URL
  • v1.0 07-12-2015 Imported from URL
  • v1.0 11-11-2015 Imported from URL
  • v0.6 10-11-2015 Imported from URL
  • v0.6</span></td> 10-11-2015 Imported from URL
  • v0.6 22-09-2015 paired this back to only collapsing headers,
  • v0.5 18-08-2015 capture back button again
  • v0.4 18-08-2015 pay attention to the complete pjax event, fixes bug with back button
  • v0.3 04-08-2015 Adding some better descriptions
  • v0.2 04-08-2015 fix some bugs, make wiki pages fluid
  • v0.1 15-06-2015