diff options
author | 2017-06-15 17:13:22 +0300 | |
---|---|---|
committer | 2017-06-15 17:13:22 +0300 | |
commit | 0ac03b426a139c4ac93fc5365e3aa8f748a90984 (patch) | |
tree | e56c7a099121f6b13b03c7de6e8c29c1e18b7b1c /demo/listShop.urs | |
parent | 47e5f0f3e63b48e6758d1d52edffbcb8a9e74fd7 (diff) |
Fixed non-working '-m' runtime option.
Diffstat (limited to 'demo/listShop.urs')
0 files changed, 0 insertions, 0 deletions