Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1658:de0a34e28bfa 1659:8de2ea0a0701