diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2013-03-24 23:43:18 +0100 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2013-03-24 23:43:18 +0100 |
| commit | 7b35dcdc623c539ee47b19fff9d6facab2fd3ef5 (patch) | |
| tree | 31220c5aa72823d060041466bc018b60671829cd /pkgs/development/python-modules/rangehttpserver | |
| parent | cd3caeaf8f3212f2d0ab6cbd079be6a3fa06881e (diff) | |
ProofGeneral: remove dead code (compatibility with emacs 23).
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions