summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Sergey Mironov <grrwlf@gmail.com>2013-10-07 14:07:31 +0400
committerGravatar Sergey Mironov <grrwlf@gmail.com>2013-10-07 14:07:31 +0400
commit104483a7b57d4f236899c8f2838ad9c804eb0f55 (patch)
tree4622430aeae74066f7b5a38f566e95eeadc912b9
parent3dd802c67614343e0369c1c0e7658dd7bc8a4d3e (diff)
Add xhead type
-rw-r--r--lib/ur/basis.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 5b47ba4a..3dba3e3d 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -751,6 +751,7 @@ con tr = [Dyn] ++ tr'
con xhtml = xml html
con page = xhtml [] []
con xbody = xml body [] []
+con xhead = xml head [] []
con xtable = xml tabl [] []
con xtr = xml tr [] []
con xform = xml form [] []