2021-10-05 15:11:14 +08:00
|
|
|
cp package/pikascript/pikascript-core/* ../../src
|
2022-04-16 11:13:34 +08:00
|
|
|
cp package/pikascript/PikaObj.py ../../src
|
2022-04-13 13:24:39 +08:00
|
|
|
sh std_push.sh PikaStdLib
|
|
|
|
|
sh std_push.sh PikaStdData
|
|
|
|
|
sh std_push.sh PikaDebug
|
|
|
|
|
sh std_push.sh PikaStdTask
|
