Skip to content

feat: add AnyTime temporal criterion#245

Merged
glichtner merged 1 commit intomainfrom
add-presence-indicator
Dec 6, 2024
Merged

feat: add AnyTime temporal criterion#245
glichtner merged 1 commit intomainfrom
add-presence-indicator

Commits

Commits on Dec 5, 2024