<br><div class="gmail_quote">On Dec 15, 2007 10:16 PM, <<a href="mailto:gwern0@gmail.com">gwern0@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Sat Dec 15 22:00:15 EST 2007 <a href="mailto:gwern0@gmail.com">gwern0@gmail.com</a><br> * Warp.hs: +doc<br> Describe how to emulate Ratpoison's 'banish' functionality on one's config<br></blockquote><div>
<br>Applied.</div></div>