repos
/
INblobs
/ darcs_commitdiff
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
file extension will be ".blobs"
Tue Jul 26 11:39:50 WEST 2005 Malcolm.Wallace@cs.york.ac.uk
* file extension will be ".blobs"
hunk ./src/NetworkUI.hs 188
-extensions = [ ("Blobs files (.blb)", ["*.blb"]) ]
+extensions = [ ("Blobs files (.blobs)", ["*.blobs"]) ]