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 (newer 20 | ) (20 | 50 | 100 | 250 | 500)

23 August 2023

15 August 2023

13 August 2023

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

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