Skip to content

Replace isDefined by hasDefinition#236

Merged
jketema merged 1 commit intogithub:mainfrom
jketema:has-definition
Mar 6, 2023
Merged

Replace `isDefined` by `hasDefinition`#236
jketema merged 1 commit intogithub:mainfrom
jketema:has-definition

Commits

Commits on Mar 3, 2023