The following consists of deleted revisions of MediaWiki:CustomMenu/Header.
This page has been deleted. The reason for deletion is shown in the summary below, along with details of the users who had edited this page before deletion. The text of these deleted revisions is only available to administrators.
Deletion log
No matching items in log.
Page history
- (diff) 12:14, 7 July 2026 . . Harald Müller-Bergmann (talk | contribs) 516 bytes
- (diff) 08:11, 26 June 2026 . . Harald Müller-Bergmann (talk | contribs) 479 bytes
- (diff) 16:04, 25 June 2026 . . Harald Müller-Bergmann (talk | contribs) 478 bytes Tag: 2017 source edit
- (diff) 16:01, 25 June 2026 . . Harald Müller-Bergmann (talk | contribs) 414 bytes
- (diff) 15:50, 25 June 2026 . . Harald Müller-Bergmann (talk | contribs) 271 bytes
- (diff) 12:05, 22 June 2026 . . Harald Müller-Bergmann (talk | contribs) 225 bytes
- (diff) 15:20, 10 June 2026 . . Harald Müller-Bergmann (talk | contribs) 197 bytes Tag: 2017 source edit
- (diff) 15:19, 10 June 2026 . . Harald Müller-Bergmann (talk | contribs) 66 bytes Tag: 2017 source edit
- (diff) 15:18, 10 June 2026 . . Harald Müller-Bergmann (talk | contribs) 50 bytes
- (diff) 15:17, 10 June 2026 . . Harald Müller-Bergmann (talk | contribs) 27 bytes
