- From: Ivan Herman via GitHub <sysbot+gh@w3.org>
- Date: Mon, 06 Jun 2016 09:49:49 +0000
- To: public-annotation@w3.org
Not urgent. Can be dealt with after CR, it has, comparatively, a low priority! > On 5 Jun 2016, at 23:03, Rob Sanderson <notifications@github.com> wrote: > > It's now in the make_links script. I'll pull out the syntax highlighting part and add it to the selector note directory for you. > -- GitHub Notification of comment by iherman Please view or discuss this issue at https://github.com/w3c/web-annotation/issues/260#issuecomment-223914693 using your GitHub account
Received on Monday, 6 June 2016 09:49:50 UTC