diff options
| author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-08-19 17:49:34 -0300 |
|---|---|---|
| committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-08-19 17:50:55 -0300 |
| commit | c23f2bef3b18e02069720188e1d460c1f2687180 (patch) | |
| tree | 6bc3c4505ebd4ed4f448fb26272ad7eafd20432f /docs/make.bat | |
| parent | 87304c2858fc7b560e3a89450d8b31e12202f713 (diff) | |
Change settings' provider on provider change.
Closes #5995.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions