• David Baelde's avatar
    Enable tests again · 96d1f946
    David Baelde authored
    For now I have only removed deprecated fragments from test results
    and applied (supposedly) semantics-preserving renamings.
    96d1f946