diff options
Diffstat (limited to 'sitemap.xml')
| -rw-r--r-- | sitemap.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sitemap.xml b/sitemap.xml index 8ab2110..d6d7f99 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -1 +1 @@ -<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://vericert.ymhg.org/docs/building/</loc></url><url><loc>https://vericert.ymhg.org/categories/</loc></url><url><loc>https://vericert.ymhg.org/coq-style-guide/</loc></url><url><loc>https://vericert.ymhg.org/docs/</loc></url><url><loc>https://vericert.ymhg.org/future/</loc></url><url><loc>https://vericert.ymhg.org/tags/</loc></url><url><loc>https://vericert.ymhg.org/docs/unreleased/</loc></url><url><loc>https://vericert.ymhg.org/docs/using-vericert/</loc></url><url><loc>https://vericert.ymhg.org/</loc></url></urlset>
\ No newline at end of file +<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://vericert.ymhg.org/blog/</loc></url><url><loc>https://vericert.ymhg.org/docs/building/</loc></url><url><loc>https://vericert.ymhg.org/categories/</loc></url><url><loc>https://vericert.ymhg.org/docs/coq-style-guide/</loc></url><url><loc>https://vericert.ymhg.org/docs/</loc></url><url><loc>https://vericert.ymhg.org/future/</loc></url><url><loc>https://vericert.ymhg.org/tags/</loc></url><url><loc>https://vericert.ymhg.org/docs/unreleased/</loc></url><url><loc>https://vericert.ymhg.org/docs/using-vericert/</loc></url><url><loc>https://vericert.ymhg.org/</loc></url></urlset>
\ No newline at end of file |