Jocelyn Fiat 13b09adc8c Changed the WGI_INPUT_STREAM and WGI_OUTPUT_STREAM interfaces ...

main changes for existing code  `read_stream' is renamed `read_string'

2011-11-14 14:17:41 +01:00

..

ise_library

added script to update current git working copy and submodules recursively

2011-10-27 14:58:14 +02:00

server

Changed the WGI_INPUT_STREAM and WGI_OUTPUT_STREAM interfaces

2011-11-14 14:17:41 +01:00

text

sync with latest JSON

2011-10-11 14:08:41 +02:00