function deactivate()

in src/extension.js [368:368]


function deactivate() {}