]> gitweb.factorcode.org Git - factor.git/commit
removed fancy jEdit console attributed stream
authorSlava Pestov <slava@factorcode.org>
Sun, 17 Jul 2005 20:29:17 +0000 (20:29 +0000)
committerSlava Pestov <slava@factorcode.org>
Sun, 17 Jul 2005 20:29:17 +0000 (20:29 +0000)
commit065b93dbdf9383fb66584d903c9eb6a880b69795
tree194b8d19eecce3df5b03e79b0ec41c0d9f24e2a8
parent34ba2a6bfc017bca0a02343eda8889c6a444c1f3
removed fancy jEdit console attributed stream
factor/ExternalFactor.java
factor/FactorStream.java [deleted file]
factor/jedit/FactorShell.java
factor/jedit/ListenerAttributeSet.java [deleted file]
library/bootstrap/boot-stage3.factor
library/syntax/unparser.factor
library/tools/jedit-wire.factor [deleted file]
library/tools/jedit.factor
library/tools/telnetd.factor