search

schettino72 / mergedict

mergedict - A Python `dict` with a merge() method
https://pypi.python.org/pypi/mergedict
Other
14 stars 1 forks source link

Travis: Resurrect coverage tracking #6

Closed hartwork closed 4 years ago

hartwork commented 4 years ago

Regression from #5 in part