"README.md" did not exist on "b5ae2b4b1cf5aeb730eabf191952130d07ec881f"
-
Erwan Jahier authored
clock_info, and therefore also remove clock_info. The rationale of this change is that it makes things slightly simpler, and more homogeneous with what is done in type checking.
Erwan Jahier authoredclock_info, and therefore also remove clock_info. The rationale of this change is that it makes things slightly simpler, and more homogeneous with what is done in type checking.