From 879ad99f16e7f8927da7c1936f39b9f017339202 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Mon, 11 Aug 2014 09:54:58 +0100 Subject: [PATCH] Remove temporary change. --- notes/developers.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notes/developers.txt b/notes/developers.txt index 623059a..a95e4bf 100644 --- a/notes/developers.txt +++ b/notes/developers.txt @@ -1,4 +1,4 @@ -xNotes for developers +Notes 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