diff options
Diffstat (limited to 'meta/todo/src.md')
-rwxr-xr-x | meta/todo/src.md | 1 |
1 files changed, 0 insertions, 1 deletions
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 |