?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'pu'
[jungerl.git] / lib / pico / bin / start_4999
blob738b34986659ff0e3c6caceffc0d01554fcfa686
1 #!/bin/sh
2
3 jerl -s pico_test batch foo
4
5
The Jungle of Erlang code