From 8b1601cc6a6e07e5010f9a231063630bb6595713 Mon Sep 17 00:00:00 2001 From: "mithrandi@311efa1b2b5c4999c2edae7da06fb825899e8a82" Date: Tue, 8 Mar 2016 21:15:34 +0000 Subject: Added a comment --- .../comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment 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 new file mode 100644 index 00000000..3edd0eac --- /dev/null +++ b/doc/todo/detect_and_use___96__GHC__95__PACKAGE__95__PATH__96__/comment_5_69ec8232e2f444bbd8b6f0c4dca9ceec._comment @@ -0,0 +1,8 @@ +[[!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.3-2-g0d8e