HubbeKing 86f7823348 Replace calls to gevent.signal() with gevent.signal_handler() ... gevent.signal() was removed in gevent 1.5a4, see http://www.gevent.org/api/gevent.signal.html Removed on Feb 5th, see https://github.com/gevent/gevent/pull/1530		5 years ago
..
segment_coverage	Replace calls to gevent.signal() with gevent.signal_handler()	5 years ago
Dockerfile	Add file and make as build dependencies	5 years ago
setup.py	added the ability to generate a webpage with all coverage maps	6 years ago