chiark / gitweb /
dep.js: Fix comment formatting.