diff options
author | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-01-22 13:00:13 +0000 |
---|---|---|
committer | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-01-22 13:00:13 +0000 |
commit | af25d179c9bfa2aa4585f14210aa11906965f045 (patch) | |
tree | ca8e45cf74f2b876c4e21947e6ccccb5a812aa37 /sitemap.xml | |
parent | bdaa8844be64818cab4bd8e77e91bb7af0bfcf98 (diff) | |
download | vericert-docs-af25d179c9bfa2aa4585f14210aa11906965f045.tar.gz vericert-docs-af25d179c9bfa2aa4585f14210aa11906965f045.zip |
deploy: e38739e42b8b7da37027b86cf58cc114d5224d69
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 9496f79..00cbb45 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/</loc><lastmod>2021-01-16T00:00:00+00:00</lastmod></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/</loc></url><url><loc>https://vericert.ymhg.org/tags/</loc></url><url><loc>https://vericert.ymhg.org/docs/using-vericert/</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/</loc><lastmod>2021-01-16T00:00:00+00:00</lastmod></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/coq-style-guide/</loc></url><url><loc>https://vericert.ymhg.org/docs/</loc></url><url><loc>https://vericert.ymhg.org/tags/</loc></url><url><loc>https://vericert.ymhg.org/docs/using-vericert/</loc></url></urlset>
\ No newline at end of file |