GUI enabling/disabling of controls: 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 50 | ) (20 | 50 | 100 | 250 | 500)

9 December 2023

19 July 2023

18 June 2023

15 June 2023

15 September 2022

27 August 2022

14 March 2022

15 July 2021

20 June 2021

24 March 2021

10 January 2021

30 November 2020

14 July 2020

13 July 2020

26 June 2020

25 May 2020

14 March 2020

10 August 2019

23 November 2018

31 July 2018

28 July 2018

25 April 2018

24 April 2018

13 February 2018

20 October 2017

20 September 2017

10 May 2017

27 April 2017

31 March 2017

17 January 2017

25 December 2016

8 August 2016

22 July 2016

2 May 2016

1 May 2016

6 December 2015

21 June 2015

6 May 2015

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