tree b91cbdea876d7efa4967d7e2e282b8f92e978aed
parent 887f514e9f470bfa9f6d5cd41a5606c117ec02fe
author Maxim Dounin <mdounin@mdounin.ru> 1338765504 +0000
committer Maxim Dounin <mdounin@mdounin.ru> 1338765504 +0000

Resolver: fixed format specification.

Patch by Yichun Zhang (agentzh).