* ppudump: Implemented wrappers for write and writeln in order to be able to turn off default output when JSON output is selected. · eca2b52a03 - Gogs

* ppudump: Implemented wrappers for write and writeln in order to be able to turn off default output when JSON output is selected.

git-svn-id: trunk@24296 -

yury 12 years ago

parent

a592e77f35

commit

eca2b52a03

1 changed files with 216 additions and 177 deletions

Split View Show Diff Stats

				
					File diff suppressed because it is too large
					
						+ 216
						
						- 177
					
compiler/utils/ppudump.pp