Code

Replace isDefined by hasDefinition#236

Code

Merged

jketema merged 1 commit intogithub:maingithub/codeql-coding-standards:mainfrom

jketema:has-definitionjketema/codeql-coding-standards:has-definitionCopy head branch name to clipboard

Mar 6, 2023

Commits

Commits on Mar 3, 2023

• Replace `isDefined` by `hasDefinition`

  Show description for 99bf138
  jketema

  committed
  99bf138

  Copy full SHA for 99bf138