diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-21 12:00:47 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-21 12:00:47 -0400 |
| commit | fea4277692ba68cccc6c9642655289037e4b8979 (patch) | |
| tree | 20921f6f580dc54d183ac52ebe564d222b5d41df /html-test/src/Properties.hs | |
| parent | ad49d1608f406dc83f64f65920f1c6aa2f75403e (diff) | |
React to refactoring CoAxiom branch lists.
Diffstat (limited to 'html-test/src/Properties.hs')
0 files changed, 0 insertions, 0 deletions