diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-10-19 16:28:39 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-10-19 16:28:39 -0400 |
commit | abd0bdd9518b8ed9e9b0ad0a0c1059760b0ec5ce (patch) | |
tree | 136495948ad933f9b62981c81a3ca43588179fe6 /tests/cut.ur | |
parent | 1a4a8b5ab8eb499ee2217c966f7fbb7716adf9e9 (diff) |
Automatic merging of style/dynStyle and class/dynClass (closes #64)
Diffstat (limited to 'tests/cut.ur')
0 files changed, 0 insertions, 0 deletions