projects
/
idzebra-moved-to-github.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added facility to embed metadata for the DOM filter.
[idzebra-moved-to-github.git]
/
examples
/
zthes
/
tagsetm-zthes.tag
diff --git
a/examples/zthes/tagsetm-zthes.tag
b/examples/zthes/tagsetm-zthes.tag
index
7cdc873
..
33102ef
100644
(file)
--- a/
examples/zthes/tagsetm-zthes.tag
+++ b/
examples/zthes/tagsetm-zthes.tag
@@
-1,6
+1,5
@@
# TagSet-M Tags
#
-# $Id: tagsetm-zthes.tag,v 1.2 2002-12-02 15:19:12 mike Exp $
# Hacked for Zthes: compare with ../../tab/tagsetm.tag
name tagsetm
reference TagsetM