Remove df-gen models for incidentally modelled APIs · github/codeql@311512c · GitHub
Skip to content

Commit 311512c

Browse files
owen-mcowen-mc
committed
Remove df-gen models for incidentally modelled APIs
Manual models always take precedence over generated models, so there is no point in keeping the generated models. These APIs happened to have been modelled between model generation and merging this PR.
1 parent f03a56f commit 311512c

1 file changed

Lines changed: 0 additions & 2 deletions

File tree

‎java/ql/lib/ext/generated/java.nio.file.model.yml‎

Lines changed: 0 additions & 2 deletions

0 commit comments

Comments
 (0)