]> git.tue.mpg.de Git - dss.git/commit
NEWS: Fix lopsub link.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 Nov 2017 02:12:14 +0000 (03:12 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 Nov 2017 02:12:14 +0000 (03:12 +0100)
commitf346e5b5c8170ee2d534e954d86993153fafada8
tree079cc70e63f5ba1e7df9d2fdf6ef4d46a0aedfb9
parent5b1c780d1a3e02a6f64242ef5d8c0a2dc71de3ec
NEWS: Fix lopsub link.

The tilde caused the URL to 404.
NEWS