dep.js: Fix the way `STATE' is handled.
[dep-ui] / dep.js
2018-06-30 Mark Woodingdep.js: Fix the way `STATE' is handled.
2018-06-30 Mark Woodingdep.js: Set up `BAD' correctly.
2018-06-23 Mark Woodingdep.js: Fix comment formatting.
2017-07-11 Mark WoodingUse HTTPS URLs where possible.
2014-06-27 Mark Woodingdep.js: Conceal try/catch and try/finally behind functions.
2014-06-27 Mark Woodingdep.js, dep-ui.js: Remove `with (MOD) { ... }' wrappers...
2013-01-19 Mark WoodingInitial version.