diff options
author | 2015-02-25 16:56:56 -0800 | |
---|---|---|
committer | 2015-02-25 16:56:56 -0800 | |
commit | 62d637c16383b63f084dbdd230791fac9727175e (patch) | |
tree | a28edd55f5f04c0791c0cd38cb36226c5e77a443 /tools | |
parent | 866816fc30157648f8aacabc448552af1d461c06 (diff) | |
parent | 2deb9865e970d90c022df47b91082a156b12c379 (diff) |
Merge pull request #827 from a11r/d2
Minor fix to INSTALL
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions