mirror of
https://github.com/php/php-src.git
synced 2025-08-20 01:14:28 +02:00
add ANSI colour support to output pane
This commit is contained in:
parent
f822764129
commit
883f34f487
14 changed files with 3 additions and 694 deletions
|
@ -55,7 +55,7 @@ javadoc.splitindex=true
|
|||
javadoc.use=true
|
||||
javadoc.version=false
|
||||
javadoc.windowtitle=
|
||||
main.class=Main
|
||||
main.class=phpdbg.ui.Main
|
||||
manifest.file=manifest.mf
|
||||
meta.inf.dir=${src.dir}/META-INF
|
||||
mkdist.disabled=false
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue