diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 12:58:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 12:58:11 +0000 |
commit | d64389d34f3494b97c67b7a6094123f1a699040c (patch) | |
tree | 67c8fd95283d89a960240200970a9a2b134cb67b /plastic | |
parent | 44d5bf78ff00eb2d48f111d8d8718aa3b8ad010c (diff) |
Deleted file
Diffstat (limited to 'plastic')
-rw-r--r-- | plastic/todo | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/plastic/todo b/plastic/todo deleted file mode 100644 index 5ea74023..00000000 --- a/plastic/todo +++ /dev/null @@ -1,10 +0,0 @@ --*- mode:outline -*- - -* Things to do for Plastic - -See also ../todo for generic things to do, priority codes. - -** Add as part of main distribution when Plastic ready - - Edit Makefile.devel - |