Jump to content

Infrastructure/Github Mirror: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

13 November 2023

11 September 2022

15 May 2022

16 February 2021

18 June 2020

25 August 2019

17 March 2019

9 May 2018

28 August 2017

9 May 2017

28 April 2017

9 January 2017

16 November 2016

21 July 2016