Mining/de: 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.

30 April 2021

25 November 2020

17 December 2018

19 July 2018

18 July 2018

21 October 2017

5 September 2017

17 August 2017

8 August 2017

3 March 2017

28 August 2016

5 June 2016

13 May 2016

12 May 2016