Skip to content
This repository has been archived by the owner on Apr 22, 2020. It is now read-only.

timing/units: added a TimeInterval class #199

Merged
merged 1 commit into from
Oct 20, 2019
Merged

timing/units: added a TimeInterval class #199

merged 1 commit into from
Oct 20, 2019

Conversation

koreno
Copy link
Contributor

@koreno koreno commented Oct 20, 2019

and support for comparing Timers with time-based types

Copy link
Contributor

@YuvalEvron YuvalEvron left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should use @safe_property instead of property

@koreno koreno merged commit a92224a into master Oct 20, 2019
@koreno koreno deleted the time-interval branch November 14, 2019 18:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants