From c6d7769b0e0b3a83f6b57a3b637cb8cfc339d121 Mon Sep 17 00:00:00 2001 From: mithrandi@311efa1b2b5c4999c2edae7da06fb825899e8a82 Date: Tue, 8 Mar 2016 21:15:41 +0000 Subject: removed --- .../comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment (limited to 'doc/todo') 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' -"""]] -- cgit v1.2.3