diff options
author | 2016-03-12 12:57:18 -0400 | |
---|---|---|
committer | 2016-03-12 12:57:18 -0400 | |
commit | ca10c06819aacc50d4423836ce51fc4486803789 (patch) | |
tree | e96072aef36f12d28d715fd4b7396d3fea4eef4c /doc/todo/__91__PATCH__93___Log.hs__58___Add_missing_dash_to_--raw_option | |
parent | 024dd384140b25f69defd762e41fd5e4af4f3567 (diff) |
rename files containing :
This is mostly to let the repo check out on windows w/o using cygwin's git.
But, bash completion is also crap with : , so ..
Diffstat (limited to 'doc/todo/__91__PATCH__93___Log.hs__58___Add_missing_dash_to_--raw_option')
-rw-r--r-- | doc/todo/__91__PATCH__93___Log.hs__58___Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/todo/__91__PATCH__93___Log.hs__58___Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment b/doc/todo/__91__PATCH__93___Log.hs__58___Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment new file mode 100644 index 000000000..9feb93633 --- /dev/null +++ b/doc/todo/__91__PATCH__93___Log.hs__58___Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment @@ -0,0 +1,7 @@ +[[!comment format=mdwn + username="sunny256" + subject="comment 1" + date="2015-07-06T22:33:48Z" + content=""" +Hehe, yep. ;) But it was quite low-hanging fruit anyway, and I'm glad it's fixed. Thanks. Hope you had a nice holiday, though. You deserve it. — Øyvind +"""]] |