summaryrefslogtreecommitdiff
path: root/doc/todo/integrate_shell-monad
diff options
context:
space:
mode:
authorgueux2016-06-15 10:41:53 +0000
committeradmin2016-06-15 10:41:53 +0000
commited37e6100e052180eca7883bde1dacee3cb5bf30 (patch)
tree67277abd54e9ca86f1dcf36ab8863b8bb51c4584 /doc/todo/integrate_shell-monad
parent86922364e833d857dec25f715199f4cd0838b5da (diff)
Added a comment
Diffstat (limited to 'doc/todo/integrate_shell-monad')
-rw-r--r--doc/todo/integrate_shell-monad/comment_5_315c81503d6aea67b2b762ff3e435445._comment9
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)...
+"""]]