R/zzz.R

# Environment for pipetime
.pipetime_env <- new.env(parent = emptyenv())
.pipetime_env$start_times <- list()

Try the pipetime package in your browser

Any scripts or data that you put into this service are public.

pipetime documentation built on Nov. 5, 2025, 5:40 p.m.