<div dir="ltr">Oh, weird, I guess Apache doesn't show dotfiles by default. There is in fact a .hg subdirectory, so if you `hg clone <a href="http://web.mit.edu/~phurst/hg/bootstrap/" target="_blank" style="font-family:arial,sans-serif;font-size:13px">http://web.mit.edu/~phurst/<u></u>hg/bootstrap/</a>` in your terminal it'll work fine.</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, May 26, 2014 at 4:18 PM, David Snider <span dir="ltr"><<a href="mailto:david@davidsnider.net" target="_blank">david@davidsnider.net</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks Patrick, but the directory you provided looks empty to me.<div class=""><br>
<br>
On 2014-05-26 14:07, Patrick Hurst wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">
I actually have a commit that I apparently only pushed to my local<br>
copy of the repository (it's accessible<br></div>
at <a href="http://web.mit.edu/~phurst/hg/bootstrap/" target="_blank">http://web.mit.edu/~phurst/<u></u>hg/bootstrap/</a> [1] or the corresponding<div class=""><br>
Athena AFS path) that splits out Bootstrap 2 and Bootstrap 3 into<br>
separate files; in Bootstrap 3 (the one I've been using), the<br>
convention I used is to prefix conflicting names with bs3 (so bs3-h1,<br>
bs3-h2, etc.). I personally think the benefit of not having to play<br>
renaming games with the tag names is worth the small downside of not<br>
being able to directly copy-paste code in, since any errors will show<br>
up at compile time.<br>
<br>
On Mon, May 26, 2014 at 9:55 AM, Adam Chlipala <<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>><br>
wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 05/25/2014 06:45 PM, David Snider wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Some of the style names were conflicting with basis tag names.<br>
There might be more but I fixed the ones I found. Attached is a<br>
patch.<br>
</blockquote>
<br>
I believe Patrick Hurst, the author of that code, was aware of that<br>
problem, so I'd like to hear from him first, about what he thinks of<br>
this patch.  One downside is that off-the-shelf HTML code using<br>
normal Bootstrap wouldn't be usable directly.<br>
</blockquote>
<br>
<br>
<br></div>
Links:<br>
------<br>
[1] <a href="http://web.mit.edu/~phurst/hg/bootstrap/" target="_blank">http://web.mit.edu/~phurst/hg/<u></u>bootstrap/</a><div class=""><br>
<br>
______________________________<u></u>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<u></u>cgi-bin/mailman/listinfo/ur</a><br>
</div></blockquote><div class="HOEnZb"><div class="h5">
<br>
______________________________<u></u>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<u></u>cgi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br></div>