Closed devproof closed 11 years ago
clean up the result buffer, strip buffer to the first dataset
done on branch
clean up the result buffer, strip buffer to the first dataset