diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-03-06 07:17:06 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-03-06 07:46:51 -0800 |
| commit | 9186aa1bf8bd579d7f8016d19433c8c5e0cd84b6 (patch) | |
| tree | 00af39daeabaf738def5727206625eb14de7c223 /pkgs/development/python-modules/httpserver | |
| parent | da97c73fb3576930712463d420fd23e6d7d69fc0 (diff) | |
coqPackages.QuickChick: use fetchFromGitHub
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions