diff options
author | eudoxia <uplink@distress.network> | 2021-11-16 12:37:19 -0500 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2021-11-16 12:37:19 -0500 |
commit | 95b04c3519a516bc380610a180fa6ea412df498c (patch) | |
tree | f78d305cfa71089efcb25085bc719c741367cb9b | |
parent | 63d3df979cac2f6c712c94ca95a897e18d3a293e (diff) |
todo: removed 1 task
-rwxr-xr-x | meta/todo/index.html | 5 | ||||
-rwxr-xr-x | meta/todo/src.md | 1 | ||||
-rwxr-xr-x | sitemap.xml | 2 |
3 files changed, 2 insertions, 6 deletions
diff --git a/meta/todo/index.html b/meta/todo/index.html index f0572a2..01e66e6 100755 --- a/meta/todo/index.html +++ b/meta/todo/index.html @@ -10,16 +10,13 @@ <link rel="icon" type="image/png" sizes="16x16" href="/favicon/favicon-16x16.png"> <link rel="manifest" href="/favicon/site.webmanifest"> <title>To Do — DistressNetwork°</title> -<meta http-equiv="last-modified" content="2021-11-16 11:36:14-05:00" /> +<meta http-equiv="last-modified" content="2021-11-16 12:36:36-05:00" /> </head> <body> <div class="contentlevel"> <main> <div class="leading">To Do:</div> <hr> -<ul> -<li>Create formal (meta-)specification for formal grammar specifications</li> -</ul> </main> <nav> <pre> diff --git a/meta/todo/src.md b/meta/todo/src.md index d92055a..8f96e0f 100755 --- a/meta/todo/src.md +++ b/meta/todo/src.md @@ -2,4 +2,3 @@ title: To Do leading: To Do: opts: h -- Create formal (meta-)specification for formal grammar specifications diff --git a/sitemap.xml b/sitemap.xml index ca994c8..468edbd 100755 --- a/sitemap.xml +++ b/sitemap.xml @@ -12,7 +12,7 @@ xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url><loc>https://distress.network/meta/styletest/</loc><lastmod>2021-11-10T15:52:15-05:00</lastmod></url> -<url><loc>https://distress.network/meta/todo/</loc><lastmod>2021-11-16T11:36:14-05:00</lastmod></url> +<url><loc>https://distress.network/meta/todo/</loc><lastmod>2021-11-16T12:36:36-05:00</lastmod></url> <url><loc>https://distress.network/software/</loc><lastmod>2021-08-25T00:36:43-04:00</lastmod></url> |