- From: Johannes Wilm <notifications@github.com>
- Date: Fri, 18 Oct 2019 18:51:49 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Saturday, 19 October 2019 01:51:56 UTC
@johanneswilm pushed 3 commits. 2615fbe1e8a128a8983b900de411b62fc31ad77b move links index.html => README.md 8e7092b310ff9fca1372db66b17259edf5d45da1 Delete index.html fedf1a0074616f5cac620b2af94e3fb493df51a1 Merge pull request #216 from w3c/update-readme -- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/w3c/editing/pull/215/files/d70ab511c2b18d15be04f31620d77b85155de92e..fedf1a0074616f5cac620b2af94e3fb493df51a1
Received on Saturday, 19 October 2019 01:51:56 UTC