<?xml version="1.0" encoding="utf-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	>
<channel>
	<title>Comments on: Character-Level Diff in BBEdit</title>
	<atom:link href="http://mjtsai.com/blog/2006/07/07/character-level-diff-in-bbedit/feed/" rel="self" type="application/rss+xml" />
	<link>http://mjtsai.com/blog/2006/07/07/character-level-diff-in-bbedit/</link>
	<description></description>
	<pubDate>Fri, 29 Aug 2008 02:47:18 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.5.1</generator>
		<item>
		<title>By: Michael</title>
		<link>http://mjtsai.com/blog/2006/07/07/character-level-diff-in-bbedit/#comment-41972</link>
		<dc:creator>Michael</dc:creator>
		<pubDate>Mon, 12 Feb 2007 02:05:41 +0000</pubDate>
		<guid isPermaLink="false">http://mjtsai.com/blog/?p=1282#comment-41972</guid>
		<description>I don't know, but it certainly seems worth filing a bug.</description>
		<content:encoded><![CDATA[<p>I don't know, but it certainly seems worth filing a bug.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Jacob Rus</title>
		<link>http://mjtsai.com/blog/2006/07/07/character-level-diff-in-bbedit/#comment-41901</link>
		<dc:creator>Jacob Rus</dc:creator>
		<pubDate>Sun, 11 Feb 2007 21:58:35 +0000</pubDate>
		<guid isPermaLink="false">http://mjtsai.com/blog/?p=1282#comment-41901</guid>
		<description>Hey Michael,

Do you know if the python devs plan to make difflib/HTMLDiff use unicode any time?  have bug reports been filed on this, etc?  I wonder what kind of prodding it would take to get such things solved for future versions of python?

-Jacob</description>
		<content:encoded><![CDATA[<p>Hey Michael,</p>
<p>Do you know if the python devs plan to make difflib/HTMLDiff use unicode any time?  have bug reports been filed on this, etc?  I wonder what kind of prodding it would take to get such things solved for future versions of python?</p>
<p>-Jacob</p>
]]></content:encoded>
	</item>
</channel>
</rss>

<!-- Dynamic Page Served (once) in 0.382 seconds -->
