diff options
| author | gueux <gueux@web> | 2016-06-15 10:41:53 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2016-06-15 10:41:53 +0000 |
| commit | ed37e6100e052180eca7883bde1dacee3cb5bf30 (patch) | |
| tree | 67277abd54e9ca86f1dcf36ab8863b8bb51c4584 /doc | |
| parent | 86922364e833d857dec25f715199f4cd0838b5da (diff) | |
Added a comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/integrate_shell-monad/comment_5_315c81503d6aea67b2b762ff3e435445._comment | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/todo/integrate_shell-monad/comment_5_315c81503d6aea67b2b762ff3e435445._comment b/doc/todo/integrate_shell-monad/comment_5_315c81503d6aea67b2b762ff3e435445._comment new file mode 100644 index 00000000..9c185bd2 --- /dev/null +++ b/doc/todo/integrate_shell-monad/comment_5_315c81503d6aea67b2b762ff3e435445._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="gueux" + subject="comment 5" + date="2016-06-15T10:41:53Z" + content=""" +That would be over cool! :-) + +I don't see how to create these UniqueIds, though. I'm not sure I could help a lot on this one (at least before we have a first prototype)... +"""]] |