Jeremy Ruston d6ec1ea1e5 Remove `plugin` field now that we've got the `plugin-type` field ... I've been meaning to remove the `plugin` field for ages.		2013-08-23 18:37:54 +01:00
..
boot.css.tid	…
boot.js	Remove `plugin` field now that we've got the `plugin-type` field	2013-08-23 18:37:54 +01:00
bootprefix.js	…
sjcl.js	…
sjcl.js.meta	…