domtool-mode standard library table changes performed automatically by Makefile
[hcoop/domtool2.git] / lib / urls.dtl
2006-08-06 Adam ChlipalaURL handling