summaryrefslogtreecommitdiff
path: root/doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__
diff options
context:
space:
mode:
authormithrandi@311efa1b2b5c4999c2edae7da06fb825899e8a822016-03-08 21:15:41 +0000
committeradmin2016-03-08 21:15:41 +0000
commitc6d7769b0e0b3a83f6b57a3b637cb8cfc339d121 (patch)
tree28796f43c41495a3fd24701903759e6b7f73807e /doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__
parent8b1601cc6a6e07e5010f9a231063630bb6595713 (diff)
removed
Diffstat (limited to 'doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__')
-rw-r--r--doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment8
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment b/doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment
deleted file mode 100644
index 3edd0eac..00000000
--- a/doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment
+++ /dev/null
@@ -1,8 +0,0 @@
-[[!comment format=mdwn
- username="mithrandi@311efa1b2b5c4999c2edae7da06fb825899e8a82"
- nickname="mithrandi"
- subject="comment 5"
- date="2016-03-08T21:15:34Z"
- content="""
-That sounds like a reasonable compromise; I can think of a few complicated scenarios which wouldn'
-"""]]