[TIC-CORE] fixed default file name of kickstart 88/116588/3
[archive/20170607/tools/tic-core.git] / tools /
drwxr-xr-x   ..
-rw-r--r-- 5217 tic-core