From bf0acc2e3128f6236816c9966ab0ccb145a70963 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 24 Jun 2011 15:07:29 +0200
Subject: [PATCH] +correction

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/logs/2011-06-24.cinst_preos | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/dev/logs/2011-06-24.cinst_preos b/doc/dev/logs/2011-06-24.cinst_preos
index c366c963..309c3778 100644
--- a/doc/dev/logs/2011-06-24.cinst_preos
+++ b/doc/dev/logs/2011-06-24.cinst_preos
@@ -6,5 +6,5 @@
 
 - update $__explorer/os to recognize preos
 
-- cinst types only do something if $__explorer/os == 'preos'
+- cinst types will ONLY BE CALLED if $__explorer/os == 'preos'