From: Slava Pestov Date: Fri, 10 Sep 2010 03:33:04 +0000 (-0700) Subject: Merge branch 'docs-optimization' of http://github.com/mncharity/factor X-Git-Tag: 0.97~4435 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=65de87ff52ed690068fde7f943b832f1274c81db Merge branch 'docs-optimization' of http://github.com/mncharity/factor --- 65de87ff52ed690068fde7f943b832f1274c81db