diff options
author | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-04-02 12:57:22 +0000 |
---|---|---|
committer | ymherklotz <ymherklotz@users.noreply.github.com> | 2021-04-02 12:57:22 +0000 |
commit | 95bb2fda796ca17ad9cbb213dd15690ef6346c35 (patch) | |
tree | cde05820eed4fca111ce9c3297b87d168f8fa75c /sitemap.xml | |
parent | 8fcb210c336a50b81cf726e161ed82981bfbec5d (diff) | |
download | vericert-docs-95bb2fda796ca17ad9cbb213dd15690ef6346c35.tar.gz vericert-docs-95bb2fda796ca17ad9cbb213dd15690ef6346c35.zip |
deploy: f85153b7335ebf99ab6bf6e696b5a08fef38b61b
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 00cbb45..b2166cf 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/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 +<?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/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></urlset>
\ No newline at end of file |