diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-01-02 09:24:05 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-01-02 10:04:48 +0100 |
commit | 9adfacdb8b31afd3050cf36eeccfe5aeb7f647f3 (patch) | |
tree | e8b008b61d8ea0eb0853dab6975c1f0932cc04fe /doc | |
parent | 39d6b5fd42bda89f83ea26d6b0226eb7f76eb3c6 (diff) | |
parent | dd3f69736a6e25044b8802057ba9982592575cdb (diff) |
Merge pull request #5551
dd3f697 Use real text rather than image-rendered text for unit selector (Luke Dashjr)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions