From 8dde1684f146457b9b6dd054f2e1a99a3d59cce7 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Thu, 1 Aug 2013 11:49:35 +0200
Subject: "whitespace" & other options in SPLIT reporter's dropdown

still hidden in dev mode
---
 history.txt | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'history.txt')

diff --git a/history.txt b/history.txt
index f60dd59..5fd3680 100755
--- a/history.txt
+++ b/history.txt
@@ -1833,3 +1833,7 @@ ______
 130731
 ------
 * Blocks, Threads, Objects: experimental text SPLIT primitive in the operators category
+
+130801
+------
+* Blocks, Threads: "whitespace" & other options in SPLIT reporter's dropdown 
-- 
cgit v1.3.1