Development using git: 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.

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)

7 August 2023

30 April 2019

9 December 2018

16 September 2017

14 October 2016

13 October 2016

7 June 2015

29 May 2014

21 May 2014

10 May 2012

26 March 2012

25 March 2012

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)