On 21.02.2008, at 12:55, Christopher Lenz wrote:
Then there's the javascript shell (shell.js and shell.html) which I
*think* is based on external code, but it's not clear where exactly
it comes from. Maybe Damien or Jan remember? Anyway, I think if
there are problems with this we should simply drop it, and point
people to Firebug.
Okay, Damien found the original:
<http://www.squarefree.com/shell/>
It's GPL/LGPL/MPL tri-licensed. We'll have to add a pointer to the
original, although the original itself doesn't contain a proper
copyright notice or anything.
Cheers,
--
Christopher Lenz
cmlenz at gmx.de
http://www.cmlenz.net/
