diff options
Diffstat (limited to 'meta/todo/index.html')
-rwxr-xr-x | meta/todo/index.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/meta/todo/index.html b/meta/todo/index.html index a54b827..f0572a2 100755 --- a/meta/todo/index.html +++ b/meta/todo/index.html @@ -10,7 +10,7 @@ <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-10 16:56:02-05:00" /> +<meta http-equiv="last-modified" content="2021-11-16 11:36:14-05:00" /> </head> <body> <div class="contentlevel"> @@ -18,7 +18,6 @@ <div class="leading">To Do:</div> <hr> <ul> -<li>Update web docs with KaTeX info</li> <li>Create formal (meta-)specification for formal grammar specifications</li> </ul> </main> |