aboutsummaryrefslogtreecommitdiffstats
path: root/sitemap.xml
diff options
context:
space:
mode:
authorymherklotz <ymherklotz@users.noreply.github.com>2021-01-22 13:00:13 +0000
committerymherklotz <ymherklotz@users.noreply.github.com>2021-01-22 13:00:13 +0000
commitaf25d179c9bfa2aa4585f14210aa11906965f045 (patch)
treeca8e45cf74f2b876c4e21947e6ccccb5a812aa37 /sitemap.xml
parentbdaa8844be64818cab4bd8e77e91bb7af0bfcf98 (diff)
downloadvericert-docs-af25d179c9bfa2aa4585f14210aa11906965f045.tar.gz
vericert-docs-af25d179c9bfa2aa4585f14210aa11906965f045.zip
deploy: e38739e42b8b7da37027b86cf58cc114d5224d69
Diffstat (limited to 'sitemap.xml')
-rw-r--r--sitemap.xml2
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