search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Make clean task delete more generated files #154

Closed mernst closed 4 years ago

wmdietl commented 4 years ago

@mernst Thanks! Did the branch from which you made the PR get deleted automatically?

mernst commented 4 years ago

@wmdietl No, it did not. I don't know why not.