summaryrefslogtreecommitdiff
path: root/doc/tools
diff options
context:
space:
mode:
authorGuilherme Felipe <guilhermefelipecgs@gmail.com>2018-06-06 17:55:33 -0300
committerGuilherme Felipe <guilhermefelipecgs@gmail.com>2018-06-06 17:58:12 -0300
commit048f149478bf72061613a553f5cfc3d4fa8d4d1a (patch)
tree23c89ec0b1b5b11a31e726b991ccc246783f1d52 /doc/tools
parentaaf93f92d8ba9bef29f42b590782fc6f0fad6fdc (diff)
Fix theme not updating with changes
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions