diff options
| author | Phreedom <phreedom@yandex.ru> | 2013-05-05 07:18:05 -0700 |
|---|---|---|
| committer | Phreedom <phreedom@yandex.ru> | 2013-05-05 07:18:05 -0700 |
| commit | b0f52e08dcf8dc30d58cde17cf836350b393dd0a (patch) | |
| tree | 169bb465a6629f79629e7e4233111d88a5749aa1 /pkgs/development/python-modules/rangehttpserver | |
| parent | b06c46e67623c525d40cd5e167d58f21fdba1b52 (diff) | |
| parent | d9aa18843b5d6e9e516b3362600339450605375d (diff) | |
Merge pull request #485 from maggesi/proofgeneral_updates
ProofGeneral: Workaround for bug #458
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions