From: Stefano Zacchiroli Date: Sun, 5 Jan 2003 14:04:57 +0000 (+0000) Subject: - added a TODO comment for 'file://' scheme support X-Git-Tag: v0_3_99~99 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8cc3addaa00beab96207cc5f6a493cba4cb513bd;hp=8cc3addaa00beab96207cc5f6a493cba4cb513bd;p=helm.git - added a TODO comment for 'file://' scheme support ---