commit | 0ec410689c2ab265f7d9e94db3fcd09e8ff7ba60 | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue May 28 11:46:30 2019 +0000 |
committer | nicm <nicm> | Tue May 28 11:46:30 2019 +0000 |
tree | 2240fec58755d9a7845e7e3f0424137d426b3511 | |
parent | e0fd2950548def0124733b43fb347e82878f47b3 [diff] |
Allow source-file to take multiple arguments.