Committed [EMAIL PROTECTED]/dvc--dev--0--patch-201
2006-04-02 20:02:42 GMT Stefan Reichoer <[EMAIL PROTECTED]> patch-201
Summary:
Merged from Masatake (patch 46-47)
Revision:
dvc--dev--0--patch-201
Patches applied:
* [EMAIL PROTECTED]/dvc--devo--0.2--patch-46
Rename tla--generic-file-prefix to tla-tree-lint-put-file-prefix
* [EMAIL PROTECTED]/dvc--devo--0.2--patch-47
Merged from [EMAIL PROTECTED] (patch 141), [EMAIL PROTECTED] (patch
41-48), [EMAIL PROTECTED] (patch 192-198)
_______________________________________________
Xtla-el-dev mailing list
[email protected]
https://mail.gna.org/listinfo/xtla-el-dev