diff options
author | Juan Linietsky <reduzio@gmail.com> | 2017-08-06 22:51:56 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2017-08-06 22:51:56 -0300 |
commit | 7e4970214c92fec0e7262f36765764a81e28b2be (patch) | |
tree | 1507401fe727ec1a2bb5b5cc7eb3d4cb55190cc6 /doc | |
parent | 378b1e6cf0cbcc9c30c61e0cabc7090f70fd380c (diff) |
Fixed some string names and animation playback options, closes #9446
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions