Infrastructure/Git/Configuration: 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.

14 August 2018

22 April 2016

6 April 2016

9 March 2016

26 November 2015

20 December 2014

27 July 2013

19 March 2013

18 June 2012

27 December 2011

29 July 2011

26 June 2011

25 May 2011

29 March 2011

18 March 2011