Skip to content
This repository was archived by the owner on Apr 12, 2024. It is now read-only.

rename $pause -> $sleep and $wait -> $pause #207

Closed
IgorMinar opened this issue Jan 5, 2011 · 0 comments · Fixed by #368
Closed

rename $pause -> $sleep and $wait -> $pause #207

IgorMinar opened this issue Jan 5, 2011 · 0 comments · Fixed by #368

Comments

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants