diff options
author | 2015-04-05 15:11:19 -0400 | |
---|---|---|
committer | 2015-04-05 15:11:19 -0400 | |
commit | 43f48eaad64b667b552ef9d97670367cea64a7ed (patch) | |
tree | 4305c9c6cf09852f98aea191a362387a23b0995e /demo/listShop.urs | |
parent | 707ea040421f1fbdfed19254ec4683bdeb28a117 (diff) |
Relicense packaging under Apache-2
Diffstat (limited to 'demo/listShop.urs')
0 files changed, 0 insertions, 0 deletions