Mercurial > urweb

diff src/coq/README @ 1924:b44138e6a3bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add activeHead tag. activeHead is similar to active but produces xhead instead of xbody
author Sergey Mironov <grrwlf@gmail.com>
date Fri, 06 Dec 2013 13:59:39 +0400
parents 705cb41ac7d0
children
line wrap: on
line diff