Render link to old element ID differently in web interface
authorDavid ‘Bombe’ Roden <bombe@pterodactylus.net>
Fri, 24 Jul 2015 15:00:21 +0000 (17:00 +0200)
committerDavid ‘Bombe’ Roden <bombe@pterodactylus.net>
Fri, 24 Jul 2015 18:48:00 +0000 (20:48 +0200)

No differences found