diff options
| author | Karn Kallio <kkallio@skami.org> | 2014-02-03 09:58:48 -0430 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-02-03 18:26:20 +0100 |
| commit | 26ea10a7756bfbc76a812a38dfa4e12fe0fbde83 (patch) | |
| tree | dabbfd45e0f081bf9e08ba18a8f8013de4e6d6fd /pkgs/development/python-modules/httpserver | |
| parent | 8677b19c9da2ab43537ca5cb45e38af1c996215a (diff) | |
proofgeneral: fix build with earlier version of texinfo.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions