Mercurial > urweb

diff lib/ur/listPair.urs @ 1659:8de2ea0a0701

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change linking argument order, based on reported problems in Ubuntu 11.10
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Jan 2012 19:23:34 -0500
parents 1c2f335297b7
children 5c30eea7aa78
line wrap: on
line diff