[TIC-CORE] change tic-core port from 59001 to 8082
[archive/20170607/tools/tic-core.git] / COPYING