From 774c23e9c2577072f3bc1d239ccde6ea07c09190 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Mon, 11 Aug 2014 09:52:10 +0100 Subject: [PATCH 1/1] Testing a commit on the "mike" branch --- notes/developers.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notes/developers.txt b/notes/developers.txt index a95e4bf..623059a 100644 --- a/notes/developers.txt +++ b/notes/developers.txt @@ -1,4 +1,4 @@ -Notes for developers +xNotes for developers These notes are collected by Heikki, mostly from skype chats with Wolfram and Mike. I collected them for my own use, but I hope they will turn out -- 1.7.10.4