diff docs/templates/doc.html @ 305:9ae23409d6e9

plugins: Change how plugins are loaded. Add a `plugins` command.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 22 Mar 2015 22:20:18 -0700
parents f51b69ad09ae
children 8140ff806258
line wrap: on
line diff