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/prose | |
parent | 6720a4578afab577f9721485fbb8e810104d6249 (diff) |
Update tests for new html5 default
Diffstat (limited to 'demo/prose')
0 files changed, 0 insertions, 0 deletions