2018-05-17 16:40:33 +10:00
|
|
|
#!/bin/bash
|
2018-05-17 16:46:10 +10:00
|
|
|
echo vt100.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua vt100.lua mini-vt100.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo init-wrapper.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua init-wrapper.lua mini-init-wrapper.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo microtel-3.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua microtel/microtel-3.lua microtel/mini-microtel-3.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo microtel-4.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua microtel/microtel-4.lua microtel/mini-microtel-4.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo microtel-5-core.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua microtel/microtel-5-core.lua microtel/mini-microtel-5-core.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo microtel-5-listen.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua microtel/microtel-5-listen.lua microtel/mini-microtel-5-listen.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo microtel-5-flisten.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua microtel/microtel-5-flisten.lua microtel/mini-microtel-5-flisten.lua
|
2018-05-17 16:46:10 +10:00
|
|
|
echo microtel-5-open.lua
|
2018-05-17 16:40:33 +10:00
|
|
|
lua minify.lua microtel/microtel-5-open.lua microtel/mini-microtel-5-open.lua
|