configure

changeset 768
0e1cf2cd500e
parent 766
e59b76889f00
child 772
4586a84c0c0b
equal deleted inserted replaced
767:d31f4d4075dc 768:0e1cf2cd500e

mercurial