aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/DeprecatedFunction.hs
diff options
context:
space:
mode:
authorRichard Eisenberg <eir@cis.upenn.edu>2015-09-21 12:00:47 -0400
committerMatthew Pickering <matthewtpickering@gmail.com>2015-12-14 15:17:02 +0000
commit5aac8c97051760f4a13566c636a739f109acc4e1 (patch)
treeaac2e74563f0ad3b5d43eaaf4f673eb0fdd1d86e /html-test/src/DeprecatedFunction.hs
parent37a1603cd81a117d107a8468f342a0f56af6f64e (diff)
React to refactoring CoAxiom branch lists.
Diffstat (limited to 'html-test/src/DeprecatedFunction.hs')
0 files changed, 0 insertions, 0 deletions