Skip to content

Java: Move NumericType to Type.qll#9201

Merged
aschackmull merged 1 commit into
github:mainfrom
Marcono1234:marcono1234/NumericType-type-qll
May 18, 2022
Merged

Java: Move NumericType to Type.qll#9201
aschackmull merged 1 commit into
github:mainfrom
Marcono1234:marcono1234/NumericType-type-qll

Java: Move `NumericType` to `Type.qll`

c53d315
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs