revocable_timer Directory Reference

Files
	pub.hpp
	Implementation of revocable timers.