[Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) [SOLVED]

[Stefan Scott Alexander]

Thank you Adam.

Your hunch fixed it

(While I was downloading boostrap3 from hg (at 4am :-), I had mistyped a
filename extension, and both boostrap3.urp would up getting overwritten by
boostrap3.ur.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150716/fdd63df5/attachment.html>