.issues/edb1a7697e0f1e24/new/1208863350.M507651P11810Q1.metatron
author Dmitriy Morozov <dmitriy@mrzv.org>
Fri, 15 Apr 2011 22:57:55 -0700
changeset 59 18da6a9fa7b8
parent 58 f44b6f1f2115
child 61 c384fa42f8a2
permissions -rw-r--r--
Added #c25 (state annotations)

From: Dmitriy Morozov <morozov@cs.duke.edu>
Date: Tue, 22 Apr 2008 07:21:57
State: in-progress
Subject: Colorize output
Message-Id: <edb1a7697e0f1e24-0-artemis@metatron>

Allow one to colorize output. Naturally with user-customizable colors.