From 142452ee6f3d1b4ecef8cd67cb07c95afd04ced2 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Mon, 23 Jan 2012 23:22:17 +0100 Subject: [PATCH] Add another bookmark Signed-off-by: Johannes Schindelin --- bookmarks.html | 1 + 1 file changed, 1 insertion(+) diff --git a/bookmarks.html b/bookmarks.html index 8de95f4b9c..4dd691f830 100644 --- a/bookmarks.html +++ b/bookmarks.html @@ -53,6 +53,7 @@

Other news