diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2016-09-20 14:37:16 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-09-20 14:37:16 -0400 |
| commit | 607e95260ba61e92a6fd23cd16ef8b330245db2a (patch) | |
| tree | 92a135f4fece06dd9fc081683781baa132d59ea6 /demo/tcSum.urs | |
| parent | 6720a4578afab577f9721485fbb8e810104d6249 (diff) | |
Update tests for new html5 default
Diffstat (limited to 'demo/tcSum.urs')
0 files changed, 0 insertions, 0 deletions