From 7ae10a42f8539c5285fcd53a901ae8ef4ecdb8cf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 9 Aug 2013 16:13:44 -0400 Subject: Add 'rel' attribute to --- lib/ur/basis.urs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/ur/basis.urs') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 59715a7e..f3e29c53 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -848,7 +848,7 @@ val ul : bodyTag boxAttrs val hr : bodyTag boxAttrs -val a : bodyTag ([Link = transaction page, Href = url, Target = string] ++ boxAttrs) +val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs) val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int, Onabort = transaction unit, Onerror = transaction unit, -- cgit v1.2.3