diff options
| author | Jon Dowland <jon@ncl.ac.uk> | 2009-04-24 14:44:28 +0100 |
|---|---|---|
| committer | Jon Dowland <jon@ncl.ac.uk> | 2009-04-24 14:44:28 +0100 |
| commit | 31fff76651610a736baa4ba6a8d67a8658be1d99 (patch) | |
| tree | 8b57108b84c74af1d1a45be13ee72ec614ab3039 /doc | |
| parent | e1d0b1529b56313940d0b52ef4a4a7106d03a1fd (diff) | |
add a ' ' to prevent autosmiley eating a )
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/interactive_todo_lists.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/todo/interactive_todo_lists.mdwn b/doc/todo/interactive_todo_lists.mdwn index 69b610696..cf248bd41 100644 --- a/doc/todo/interactive_todo_lists.mdwn +++ b/doc/todo/interactive_todo_lists.mdwn @@ -20,7 +20,7 @@ I have started working on this, albeit slowly. A proof of concept is at There are two git repositories associated with my WIP: one contains the javascript, the plugin, the changes made to page templates; the other contains the contents of that wiki-site (so the test todos and the contents of bugs/ -which forms a sort-of todo list for the todo list :)) I will endeavour to get +which forms a sort-of todo list for the todo list :) ) I will endeavour to get mirrors of those repos up on github or similar asap. -- [[Jon]] |