search

w3c / sparql-dev

SPARQL dev Community Group
https://w3c.github.io/sparql-dev/
Other
124 stars 19 forks source link

Replace a lot of HTML with Markdown in 007 #170

Closed JervenBolleman closed 1 year ago

JervenBolleman commented 1 year ago

Also add sparql syntax highlighting.

JervenBolleman commented 1 year ago

@afs I hope I did not make a mess of your nice work.

afs commented 1 year ago

Thanks - I'll take a look ASAP.

JervenBolleman commented 1 year ago

@afs will you hit the rebase and merge button, or do you want me to do it?

afs commented 1 year ago

@JervenBolleman - I've put this commit and the improvements from #171 in as PR #172.

If/when that is merged, then I'll come back and tidy anything GH does not automatically sort out.