Git commit: Revision history

Jump to navigation Jump to search

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.

16 January 2024

23 May 2022

13 June 2021

1 October 2020

23 June 2020

18 December 2019

12 September 2019

31 August 2019

20 August 2019

30 January 2019

18 December 2017