diff readme @ 593:39752169b803

don't try to read sub graphs for virtual subterms (chases) Ignore-this: b4bbcab615f9887345c952bbc41eb171
author drewp@bigasterisk.com
date Sun, 20 Jun 2010 05:05:27 +0000
parents a6662d61ebcd
children bb2bd3346d2d
line wrap: on
line diff