diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2013-04-23 14:09:10 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2013-04-23 14:09:10 +0200 |
| commit | d9aa18843b5d6e9e516b3362600339450605375d (patch) | |
| tree | dd5e24c551cc13417563b0a91753bad9e0e57398 /pkgs/development/python-modules/rangehttpserver | |
| parent | cddad771c5c02ad0c226290ca3ad8475c258428f (diff) | |
ProofGeneral: Workaround for bug #458
"ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90"
http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions