Quick turnaround! 19:46:00 a@kratos ~ urweb The Ur/Web compiler, version 20110715 + node: b5d78407886dfbcdc8dc0cef0f7934306e650b8d 19:46:14 a@kratos ~
Thanks again Adam! On Tue, Aug 2, 2011 at 7:22 PM, Adam Chlipala <[email protected]> wrote: > austin seipp wrote: >> >> Er, there seems to be a slight err in the build when using the >> .hg_archival.txt case. > > I admit, I didn't test this part. ;) Thanks for the fix; it's pushed now. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > -- Regards, Austin _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
