W3C home > Mailing lists > Public > public-shex-dev@w3.org > November 2017

[shex] new commits pushed by ericprud

From: Eric Prud'hommeaux via GitHub <sysbot+gh@w3.org>
Date: Mon, 13 Nov 2017 15:08:42 +0000
To: public-shex-dev@w3.org
Message-ID: <push-c86c48765ea1cc53407e7f6e8dded35553e9d854-1510585721-sysbot+gh@w3.org>

The following commits were just pushed by ericprud to https://github.com/shexSpec/shex:

* + background color on region markers
  by Eric Prud'hommeaux
https://github.com/shexSpec/shex/commit/c86c48765ea1cc53407e7f6e8dded35553e9d854
Received on Monday, 13 November 2017 15:08:48 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 4 June 2019 11:00:16 UTC