Removes mentions to the evaluation
Files that belonged to PuRe, PuReSt and the evaluation framework were removed through a filter-branch, but rebasing these commit's changes mean solving the conflicts throughout history, so we just do a single commit here.
Showing
Please register or sign in to comment