commit | a02b7a8f6dea401d090e5f1dc26812dbdac38981 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 01 22:33:37 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 01 22:33:37 2003 +0000 |
tree | dc2bc582034025ca8d63f5e75b6a4ecd8c907e4c | |
parent | b60352992f04787fff0ac12b522000a59e92c4bd [diff] |
Added a note about scripting support and the IDE builtin help.