summaryrefslogtreecommitdiff
path: root/docs/make.bat
diff options
context:
space:
mode:
authorIvan Alejandro <ivanalejandro0@gmail.com>2014-08-19 17:49:34 -0300
committerIvan Alejandro <ivanalejandro0@gmail.com>2014-08-19 17:50:55 -0300
commitc23f2bef3b18e02069720188e1d460c1f2687180 (patch)
tree6bc3c4505ebd4ed4f448fb26272ad7eafd20432f /docs/make.bat
parent87304c2858fc7b560e3a89450d8b31e12202f713 (diff)
Change settings' provider on provider change.
Closes #5995.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions