Oh, weird, I guess Apache doesn't show dotfiles by default. There is in fact a .hg subdirectory, so if you `hg clone http://web.mit.edu/~phurst/ hg/bootstrap/` in your terminal it'll work fine.
On Mon, May 26, 2014 at 4:18 PM, David Snider <[email protected]> wrote: > Thanks Patrick, but the directory you provided looks empty to me. > > > On 2014-05-26 14:07, Patrick Hurst wrote: > >> I actually have a commit that I apparently only pushed to my local >> copy of the repository (it's accessible >> at http://web.mit.edu/~phurst/hg/bootstrap/ [1] or the corresponding >> >> Athena AFS path) that splits out Bootstrap 2 and Bootstrap 3 into >> separate files; in Bootstrap 3 (the one I've been using), the >> convention I used is to prefix conflicting names with bs3 (so bs3-h1, >> bs3-h2, etc.). I personally think the benefit of not having to play >> renaming games with the tag names is worth the small downside of not >> being able to directly copy-paste code in, since any errors will show >> up at compile time. >> >> On Mon, May 26, 2014 at 9:55 AM, Adam Chlipala <[email protected]> >> wrote: >> >> On 05/25/2014 06:45 PM, David Snider wrote: >>> >>> Some of the style names were conflicting with basis tag names. >>>> There might be more but I fixed the ones I found. Attached is a >>>> patch. >>>> >>> >>> I believe Patrick Hurst, the author of that code, was aware of that >>> problem, so I'd like to hear from him first, about what he thinks of >>> this patch. One downside is that off-the-shelf HTML code using >>> normal Bootstrap wouldn't be usable directly. >>> >> >> >> >> Links: >> ------ >> [1] http://web.mit.edu/~phurst/hg/bootstrap/ >> >> >> _______________________________________________ >> Ur mailing list >> [email protected] >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
