From 95b04c3519a516bc380610a180fa6ea412df498c Mon Sep 17 00:00:00 2001 From: eudoxia Date: Tue, 16 Nov 2021 12:37:19 -0500 Subject: todo: removed 1 task --- meta/todo/index.html | 5 +---- meta/todo/src.md | 1 - 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 @@ To Do — DistressNetwork° - +
To Do:

-
    -
  • Create formal (meta-)specification for formal grammar specifications
  • -