doc: use a pointer cursor only if js is active
[charm.git] / doc / assets / manual.js
2012-08-07 Ramprasad Venkataramandoc: use a pointer cursor only if js is active
2012-08-07 Ramprasad Venkataramandoc: rename some html assets