diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-06 12:25:51 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-06 12:25:51 -0700 |
commit | cea49fdee2835c366b917125cd496ac7f0d09232 (patch) | |
tree | f2c6d8ae38aebb153007f341000535f16eaf436c /update_html | |
parent | e5e9f7db1c5cab6c05c9881fae1fc78259ed4143 (diff) | |
download | mu-cea49fdee2835c366b917125cd496ac7f0d09232.tar.gz |
2171 - 'main' can take ingredients from the shell
Ingredients of 'main' are always strings (type address:array:character), and are delineated from .mu files to load by a "--", e.g.: $ ./mu x.mu y.mu -- a b c Here 'main' must be defined in one of x.mu and y.mu, and will receive the ingredients "a", "b", and "c".
Diffstat (limited to 'update_html')
0 files changed, 0 insertions, 0 deletions